github/overleaf
1
0
Fork 0
mirror of https://github.com/overleaf/overleaf.git synced 2024-11-07 20:31:06 -05:00
Code Issues Projects Releases Packages Wiki Activity
overleaf/services/web/frontend/js/ide/editor
History
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
..
components Merge pull request #2707 from overleaf/as-transform-esm 2020-05-20 03:21:38 +00:00
controllers Merge pull request #2707 from overleaf/as-transform-esm 2020-05-20 03:21:38 +00:00
directives Merge pull request #3073 from overleaf/pr-highlight-styling-and-beta 2020-08-10 15:55:37 +00:00
Document.js Merge pull request #2937 from overleaf/as-remove-global-lodash 2020-06-24 02:10:29 +00:00
EditorManager.js Merge pull request #3030 from overleaf/ta-outline-highlight 2020-08-10 15:54:08 +00:00
EditorShareJsCodec.js Merge pull request #2707 from overleaf/as-transform-esm 2020-05-20 03:21:38 +00:00
ShareJsDoc.js Merge pull request #2960 from overleaf/jpa-remove-carriage-return-char 2020-07-01 02:10:54 +00:00