4 commits

Author	SHA1	Message	Date
Alf Eaton	23593f8650	[ide-react] Tidy IDE page layout components (#15953) ... * Defer script loading * Refactor loading * Wait for project:joined * Only mount IdePage once everything has connected * Add useConnectionState hook and comments * Remove placeholder components * Move props into EditorAndSidebar * Move props into MainLayout * Tidy editor and sidebar components * Lazy-load the symbol palette pane and separate the loading pane GitOrigin-RevId: 4b721a06d6aba0ae0ec91768e6a6e29cf15e2083	2023-12-06 09:03:49 +00:00
Tim Down	9e72d55ea6	Merge pull request #15792 from overleaf/td-ide-page-select-in-file-tree ... Make selecting a file update the file tree reliably in React IDE page GitOrigin-RevId: a59ccc53371ee22d577b0de70abad4ffbe7f5398	2023-11-20 09:03:43 +00:00
Tim Down	4b86a54241	Merge pull request #15754 from overleaf/td-ide-page-pdf-detach-fixes ... React IDE page: fix file preview with detached PDF and make PDF resizer toggler reattach PDF GitOrigin-RevId: e28bf753174fa445af70e5d3efae05f89aa5a21c	2023-11-16 09:03:08 +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