github/overleaf
1
0
Fork 0
mirror of https://github.com/overleaf/overleaf.git synced 2024-09-16 02:52:31 -04: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
controllers
directives Merge pull request #3387 from overleaf/cmg-jpa-source-code-pro 2020-12-01 03:04:18 +00:00
Document.js
EditorManager.js
EditorShareJsCodec.js
ShareJsDoc.js