Jimmy Domagala-TangandCopybot f49616b4cf Merge pull request #14110 from overleaf/jdt-editor-left-main-doc-refresh ...

fix: updating context with new root doc id
GitOrigin-RevId: 87e803554efc20cce4404f4f0f4137ae7fe9c2aa

2023-08-04 08:04:33 +00:00

..

use-project-wide-settings-socket-listener.tsx

…

use-project-wide-settings.tsx

…

use-root-doc-id.tsx

Merge pull request #14110 from overleaf/jdt-editor-left-main-doc-refresh

2023-08-04 08:04:33 +00:00

use-save-project-settings.tsx

Merge pull request #14110 from overleaf/jdt-editor-left-main-doc-refresh

2023-08-04 08:04:33 +00:00

use-save-user-settings.tsx

…

use-set-overall-theme.tsx

…

use-set-spell-check-language.tsx

…

use-user-wide-settings.tsx

…