DavidandCopybot dcabf55882 Merge pull request #24137 from overleaf/mj-ide-permissions-utils ...

[web] Add switcher for editor redesign

GitOrigin-RevId: 806a1f567027df53f879b564a50aaae9166c8480

2025-03-18 09:05:40 +00:00

..

menu-bar-dropdown.tsx

…

menu-bar-option.tsx

Merge pull request #24137 from overleaf/mj-ide-permissions-utils

2025-03-18 09:05:40 +00:00

menu-bar.tsx

…