Mathias Jakobsen ee542eb56d Merge pull request #25808 from overleaf/mj-ide-full-project-search ...

[web] Editor redesign: Add full project search

GitOrigin-RevId: b4327c4ba0ddd7387ec8d6640e31200ca0fe4a6e

2025-06-03 08:06:52 +00:00

..

document-first-change-event.js

Merge pull request #16608 from overleaf/jpa-writefull-double-loaded

2024-01-24 09:03:47 +00:00

index.js

[web] Reapply "Update navigation events (navbar menu, new project)" and bugfix (#22576)

2024-12-18 09:06:18 +00:00

search-events.ts

Merge pull request #25808 from overleaf/mj-ide-full-project-search

2025-06-03 08:06:52 +00:00