 Mathias JakobsenandCopybot
|
b7735d402d
|
Merge pull request #34195 from overleaf/mj-command-palette-menu-labels
[web] Add menu labels to commands, and add more commands to command palette
GitOrigin-RevId: 21e17142bb3112b5fdcda85a472122b011979f49
|
2026-06-05 08:07:06 +00:00 |
|
|
Mathias JakobsenandCopybot
|
cc762bb7e6
|
Merge pull request #33994 from overleaf/mj-command-palette-synctex
[web] Add synctex to command palette
GitOrigin-RevId: 10e769dae6088d279d010fcfa3577b489c6ff89c
|
2026-06-03 08:06:40 +00:00 |
|
|
Mathias JakobsenandCopybot
|
9d79cc89ec
|
Merge pull request #33855 from overleaf/mj-command-palette-tweaks
[web] command palette tweaks
GitOrigin-RevId: 454d6916043d3317e60302379bcf9707fb8d4dcb
|
2026-05-21 08:07:12 +00:00 |
|
|
Mathias JakobsenandCopybot
|
eddec90cb1
|
Merge pull request #33649 from overleaf/mj-command-palette
[web] Add command palette
GitOrigin-RevId: 5bf1903836810ca5f0e2bc7f6c00a4b1da797ea2
|
2026-05-21 08:07:04 +00:00 |
|