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
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
ShareJsDoc.js Remove Ace (#14299) 2023-11-29 09:04:08 +00:00