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/directives
History
Jakob Ackermann f5a74a014f Merge pull request #6663 from overleaf/jk-cm6-spelling-ignore-words-dedupe 
[web] Spelling: de-duplicate ignored-misspellings list

GitOrigin-RevId: 9888c35dde01fb733247fba38846c07b43a3e924
2022-02-16 11:33:54 +00:00
..
aceEditor Merge pull request #6663 from overleaf/jk-cm6-spelling-ignore-words-dedupe 2022-02-16 11:33:54 +00:00
aceEditor.js Merge pull request #6610 from overleaf/jk-better-editing-heartbeat 2022-02-16 11:32:19 +00:00
toggleSwitch.js Merge pull request #6011 from overleaf/jel-toggle-switch 2021-12-15 09:05:14 +00:00