Mathias JakobsenandCopybot 4b46120ec1 Merge pull request #22928 from overleaf/mj-ide-toolbar ...

[web] Initial editor toolbar

GitOrigin-RevId: 33658d886bf86cbaa22a161f2ff463ef608e5f6b

2025-01-29 09:04:55 +00:00

..

components

…

connection

[web] add external 15s heartbeat to socket.io connection (#22853)

2025-01-28 09:05:12 +00:00

context

Merge pull request #22928 from overleaf/mj-ide-toolbar

2025-01-29 09:04:55 +00:00

editor

…

hooks

…

scope-adapters

…

scope-event-emitter

…

scope-value-store

…

types

Select matched text when a file is opened from a full project search result (#23139)

2025-01-29 09:04:33 +00:00

util

…

create-ide-event-emitter.ts

…