Commit graph

9 commits

Author SHA1 Message Date
ilkin-overleaf
1f39b6d72a Merge pull request #15756 from overleaf/ii-ide-page-prototype-review-panel-entries
[web] init review panel entries for React IDE page

GitOrigin-RevId: f6e6311e20f1673b1d97a3f5dfcab54e16da42e1
2023-11-24 09:04:23 +00:00
Tim Down
289942d1a5 Merge pull request #15799 from overleaf/td-ide-page-synctex-jump-to-code-line
In React IDE page, jump to line when opening a document if specified by the options

GitOrigin-RevId: ddcacee33779112f4d5383ef0b5520e378dc6eb6
2023-11-20 09:03:47 +00:00
ilkin-overleaf
7db5d761ea Merge pull request #15557 from overleaf/ii-ide-page-prototype-review-panel-track-changes
Review panel track changes for React IDE page

GitOrigin-RevId: d061596581ff10bd897b286dcd5c280ce79a6384
2023-11-17 09:03:02 +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
Tim Down
b0ddbbb5f8 Merge pull request #15653 from overleaf/td-ide-page-wait-before-open-doc
React IDE page: open a document after project:joined handling has finished

GitOrigin-RevId: ce48b5fabf7124c37b811b4be132cb28f1eb9857
2023-11-09 09:02:58 +00:00
Tim Down
c3afce73c1 Merge pull request #15592 from overleaf/td-ide-page-more-modals
React IDE page: add out-of-sync modal and project deleted modal

GitOrigin-RevId: 6081a40c3009e8ebc5b3f9752c4059af3d52966d
2023-11-07 09:04:44 +00:00
Tim Down
a4b9947fe4 Merge pull request #15581 from overleaf/td-ide-page-restore-file
React IDE page: implement file restore and simplify some state

GitOrigin-RevId: ff63eb4f649156b58d9f8c4573cb6bd5b516a299
2023-11-06 09:04:11 +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