David 327713cf15 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

..

chat

Merge pull request #23905 from overleaf/ar-mocha-11

2025-02-28 09:05:40 +00:00

clsi

Revert "Add a metric so that we can know maint is prevented"

2025-03-12 09:04:57 +00:00

contacts

Merge pull request #23905 from overleaf/ar-mocha-11

2025-02-28 09:05:40 +00:00

docstore

Merge pull request #23905 from overleaf/ar-mocha-11

2025-02-28 09:05:40 +00:00

document-updater

Merge pull request #23905 from overleaf/ar-mocha-11

2025-02-28 09:05:40 +00:00

filestore

Merge pull request #23905 from overleaf/ar-mocha-11

2025-02-28 09:05:40 +00:00

git-bridge

[git-bridge] add CORS support (#23892)

2025-02-28 09:06:10 +00:00

history-v1

Handle errors during startup

2025-03-13 09:04:55 +00:00

notifications

Merge pull request #23905 from overleaf/ar-mocha-11

2025-02-28 09:05:40 +00:00

project-history

Merge pull request #23905 from overleaf/ar-mocha-11

2025-02-28 09:05:40 +00:00

real-time

[real-time] log transport and clientId in both directions of serverPing (#24084)

2025-03-07 09:04:40 +00:00

web

Merge pull request #24177 from overleaf/mj-ide-symbol-palette

2025-03-13 09:05:19 +00:00