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
Jakob Ackermann d2dfc37421 Merge pull request #3387 from overleaf/cmg-jpa-source-code-pro 
Update editor font options and load Source Code Pro

GitOrigin-RevId: 1b3ddcfcc682b484ded93598eb05621f792b2db2
2020-12-01 03:04:18 +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 #3387 from overleaf/cmg-jpa-source-code-pro 2020-12-01 03:04:18 +00:00
Document.js Merge pull request #3171 from overleaf/bg-end-to-end-check 2020-12-01 03:04:13 +00:00
EditorManager.js Merge pull request #3337 from overleaf/jpa-fix-consitency-check 2020-11-05 03:04:59 +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 #3171 from overleaf/bg-end-to-end-check 2020-12-01 03:04:13 +00:00