Commit Graph

2 Commits

Author SHA1 Message Date
Mathias Jakobsen ddfadbc474 Merge pull request #25422 from overleaf/mj-ide-rail-badges-placement
[web] Editor redesign: Improve badge locations for Rail buttons

GitOrigin-RevId: 11eef60e6ab35003b21fa1ebf0bde4588c5f7228
2025-05-12 08:05:56 +00:00
Mathias Jakobsen ec73bbcfa0 Merge pull request #23045 from overleaf/mj-errors-tab
[web] Add errors to rail

GitOrigin-RevId: 484e28b1ff1578ec46aa6811f1d1bd1d03a02f59
2025-01-29 09:04:59 +00:00