Mathias Jakobsen 48337b2e2c 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

..

algolia-search

…

autoplay-video

…

bookmarkable-tab

…

chat

…

clone-project-modal/components

…

compromised-password/components

…

contact-form

…

cookie-banner

…

dictionary

…

editor-left-menu

…

editor-navigation-toolbar

…

event-tracking

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

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

fallback-image

…

faq-search

…

file-tree

…

file-view

…

form-helpers

…

group-management

…

header-footer-react

…

history

…

hotkeys-modal/components

…

ide-react

…

ide-redesign

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

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

link-helpers

…

mathjax

…

multi-submit

…

outline

…

pdf-preview

…

preview

…

project-list

…

review-panel-new

…

settings

…

share-project-modal

…

socket-diagnostics/components

…

source-editor

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

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

subscription

…

token-access/components

…

tooltip

…

ui/components

…

utils

…

word-count-modal

…