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 |
|
Eric Mc Sween
|
82c95dd82d
|
Merge pull request #24930 from overleaf/em-ae-jd-full-project-search-launch
Launch full project search from regular search
GitOrigin-RevId: 3ef4f6923a0aeef6ab68768bab79e4be32f09eb0
|
2025-04-17 08:06:07 +00:00 |
|
Alf Eaton
|
4611de3f3d
|
Update tooltip text for search buttons (#23448)
GitOrigin-RevId: d189aac06c5f68e009eeb125d7cc225b41e8cc0c
|
2025-02-17 09:04:45 +00:00 |
|