DavidandCopybot bd76193eb5 Merge pull request #23300 from overleaf/mj-ide-menu-hover ...

[web] Introduce menu bar shared component

GitOrigin-RevId: c304cc4e1e5961fe4ef7d2112e8d9f91c47dd0ec

2025-02-07 09:06:26 +00:00

..

chat

…

clsi

…

contacts

…

docstore

…

document-updater

…

filestore

…

git-bridge

…

history-v1

…

notifications

…

project-history

…

real-time

…

web

Merge pull request #23300 from overleaf/mj-ide-menu-hover

2025-02-07 09:06:26 +00:00