Paulo Jorge ReisandCopybot 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

..

aceEditor

Merge pull request #2937 from overleaf/as-remove-global-lodash

2020-06-24 02:10:29 +00:00

aceEditor.js

Merge pull request #3073 from overleaf/pr-highlight-styling-and-beta

2020-08-10 15:55:37 +00:00

toggleSwitch.js

Merge pull request #2707 from overleaf/as-transform-esm

2020-05-20 03:21:38 +00:00