overleaf/services/web/frontend/js/ide/editor
Domagoj Kriskovic da2f7ff153 Store editor selection on a per-user rather than per-project basis (#16246)
* Store editor selection on a per-user rather than per-project basis

* set code editor if rich_text=false

* format fix

GitOrigin-RevId: 8efc33b682de211162e674839e6b891ec04e542e
2023-12-19 09:04:31 +00:00
..
controllers Merge pull request #15129 from overleaf/mj-jpa-angular-parameters 2023-10-16 08:04:25 +00:00
directives Remove Ace (#14299) 2023-11-29 09:04:08 +00:00
Document.js Remove Ace (#14299) 2023-11-29 09:04:08 +00:00
EditorManager.js Store editor selection on a per-user rather than per-project basis (#16246) 2023-12-19 09:04:31 +00:00
EditorShareJsCodec.js Merge pull request #3942 from overleaf/prettier-trailing-comma 2021-04-28 02:10:01 +00:00
ShareJsDoc.js Remove Ace (#14299) 2023-11-29 09:04:08 +00:00