Mathias Jakobsen
|
e670024f5c
|
Merge pull request #24678 from overleaf/mj-ide-view-help-menu
[web] Add remaining options to menu bar
GitOrigin-RevId: cf6cc6c2aaf450e362588c514e1a87e923a611b4
|
2025-04-10 08:05:48 +00:00 |
|
Mathias Jakobsen
|
767ac1632e
|
Merge pull request #24427 from overleaf/mj-command-registry
[web] Editor redesign: Add command registry
GitOrigin-RevId: c3d78d052f7e6e067de3247da8fe04329d8822ff
|
2025-04-07 08:04:40 +00:00 |
|
David
|
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 |
|
David
|
542a52c510
|
Merge pull request #24210 from overleaf/mj-nested-menu-bar
[web] Editor redesign: Make menu bar nestable
GitOrigin-RevId: 5c08126499ff96494d6af9adcbd75126ddd596af
|
2025-03-13 09:05:23 +00:00 |
|
David
|
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 |
|