Davinder Singh
|
cc2d1a26e2
|
Merge pull request #11958 from overleaf/ds-td-documentation-btn-refactor
Styling and HTML structure of the documentation button
GitOrigin-RevId: e643edbe05579c037ca1ec27fab765974e74d2c5
|
2023-02-27 09:03:47 +00:00 |
|
Davinder Singh
|
de245c288a
|
Merge pull request #11653 from overleaf/ds-documentation-btn-on-editor
Adding documentation button on the editor
GitOrigin-RevId: e03fd7b931eb0fe7273e6e9d0185c81c384df916
|
2023-02-15 09:04:37 +00:00 |
|
Timothée Alby
|
c78a2f1809
|
Merge pull request #3536 from overleaf/ta-file-tree-beta
[ReactFileTree] Release to Beta Users
GitOrigin-RevId: 34e4120c6e296e11b21c23e350b9b516c0ce5428
|
2021-01-08 03:05:28 +00:00 |
|
Timothée Alby
|
7fc0f88996
|
Merge pull request #3111 from overleaf/pr-file-outline-out-of-beta
File outline out of beta
GitOrigin-RevId: 64fa6554813b1d0ceff2b567922651509badecc7
|
2020-08-19 02:06:20 +00:00 |
|
Paulo Jorge Reis
|
414f7397fa
|
Merge pull request #3073 from overleaf/pr-highlight-styling-and-beta
New highlight styling + highlight in beta
GitOrigin-RevId: e5d308bd725b4a1cfc4f0e564af05663ac4188dc
|
2020-08-10 15:55:37 +00:00 |
|
Timothée Alby
|
558854f51b
|
Merge pull request #3030 from overleaf/ta-outline-highlight
Outline Highlight
GitOrigin-RevId: f51eec6f1714403d749e454b55be363819930b98
|
2020-08-10 15:54:08 +00:00 |
|
Paulo Jorge Reis
|
f3ad611090
|
Merge pull request #3041 from overleaf/pr-more-outline-polish
More outline polish
GitOrigin-RevId: 6bb69e7af0d62f2107fc9b57c621e0dcb46d0a8d
|
2020-07-24 02:06:24 +00:00 |
|
Paulo Jorge Reis
|
0e9771ac09
|
Merge pull request #3007 from overleaf/pr-file-outline-extras
File outline extras
GitOrigin-RevId: c35c4f35dce280c9f44c02b567df9734943d0cb0
|
2020-07-17 02:06:42 +00:00 |
|
Timothée Alby
|
1012dbc3c4
|
Merge pull request #2961 from overleaf/ta-spike-outline
Document Outline Spike
GitOrigin-RevId: adc315a3546147eb10c7a40ae70f9cab1cbf7b8d
|
2020-06-30 02:10:19 +00:00 |
|