Alf Eaton
8cb76ce40b
[ide-react] Address some migration TODOs ( #16033 )
...
* Add type for externalUpdate
* Log clientTracking.getConnectedUsers error
* Remove update debugging code
* Use ErrorMetadata type
* Use Message type
* Remove unused document:opened event
GitOrigin-RevId: 3a1d1e785dca37d6b91cd650fbcb4e5decb6343b
2023-12-06 09:04:18 +00:00
Jakob Ackermann
6b2daed903
Merge pull request #15843 from overleaf/jpa-download-events
...
[web] add additional event tracking
GitOrigin-RevId: 877f92db41efff017db370ec75b8d1f861eed4f2
2023-11-21 09:04:28 +00:00
Tim Down
1c820de200
Merge pull request #15610 from overleaf/td-ide-page-editor-events
...
React IDE page: hook up events
GitOrigin-RevId: 1121a30755fc600023f06925ca3eafa7a8e1ee14
2023-11-14 09:04:36 +00:00
ilkin-overleaf
2bbead57ec
Merge pull request #15474 from overleaf/td-ide-page-file-and-multiple-view
...
React IDE page: implement file views and file delete handling
GitOrigin-RevId: 491cad7b147e55bc4a250da387916c7e2dff14ae
2023-11-03 09:00:08 +00:00
Tim Down
01439641ca
Merge pull request #15376 from overleaf/td-ide-page-working-editor
...
React IDE page: working editor
GitOrigin-RevId: 3ba8cb787a6f7f8435686d8962adb7444d09acb5
2023-10-27 08:03:07 +00:00
