David 8d940ad841 Merge pull request #25387 from overleaf/dp-editor-toolbar-proptypes ...

Remove proptypes from editor-navigation-toolbar components

GitOrigin-RevId: 77a1c4e13e3da6c06bb515b0137da2f70bfdf4a8

2025-05-13 08:08:06 +00:00

..

chat

…

clsi

[web] avoid trying to fetch synctex.gz from clsi-cache in free projects (#25445)

2025-05-12 08:05:24 +00:00

contacts

…

docstore

…

document-updater

[history-ot] initial implementation of using doc-level history-ot (#25054)

2025-05-08 08:05:44 +00:00

filestore

…

git-bridge

…

history-v1

Merge pull request #25456 from overleaf/em-concurrency-handling

2025-05-13 08:07:36 +00:00

notifications

…

project-history

Merge pull request #25406 from overleaf/em-content-hash-validation-resync

2025-05-09 08:05:12 +00:00

real-time

[history-ot] initial implementation of using doc-level history-ot (#25054)

2025-05-08 08:05:44 +00:00

web

Merge pull request #25387 from overleaf/dp-editor-toolbar-proptypes

2025-05-13 08:08:06 +00:00