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
..
chat
clsi
contacts
docstore
document-updater
filestore
git-bridge
history-v1
notifications
project-history
real-time
spelling
web	Merge pull request #15792 from overleaf/td-ide-page-select-in-file-tree	2023-11-20 09:03:43 +00:00