 David
|
10b0d6333f
|
Merge pull request #24177 from overleaf/mj-ide-symbol-palette
[web] Editor redesign: Add symbol palette
GitOrigin-RevId: c9c1e15adef86023b18a6d6efea854777fa4fb11
|
2025-03-13 09:05:19 +00:00 |
|
|
Alf Eaton
|
18c2b4108d
|
Tidy up global scope values (#20379)
* Remove crypto from window
* Remove ui.loadingStyleSheet
* Remove onlineUsers scope
* Remove addNewComment
GitOrigin-RevId: 5e62ed7f265cdd530b5ca85488477093b0be775a
|
2025-02-28 09:05:15 +00:00 |
|
|
David
|
3a9587797d
|
Merge pull request #23710 from overleaf/dp-remove-file-tree-workaround
Remove pre-filetree work around for new editor
GitOrigin-RevId: 7b34e4e298324ad217b603b48abbfbfa78d21804
|
2025-02-21 09:04:32 +00:00 |
|
|
Mathias Jakobsen
|
182e9deada
|
Merge pull request #22768 from overleaf/mj-ide-source-editor
[web] Add editor to editor redesign
GitOrigin-RevId: cdda3d5391866b882d6696ba833316aa91cf2856
|
2025-01-13 09:04:55 +00:00 |
|