-
Hi, I think this has been discussed a bit in the past here and there, but I'm still not sure what the best approach should be as of today: I'm trying to run Theia Docker instances with a workspace mounted as a volume, where the volume can persist even when the container spins down. So far, this seems to work okay; you can resume your work when you reload the Docker. However, Theia seems to store many details of the workspace (open directory, open panes, layout) in the localStorage, not the preferences file. This means the workspace state is tied to the browser session rather than persisted in the volume. Right now, if you resume working on another computer, when you load up there is no active workspace. You can select the recent workspace to load it then, but it still loads without any reasonable layout (no terminal open, no file browser pane open, etc.). I'd basically like some way to make the default presentation on launch resemble VS Code a bit more. Here are the two main things I'd like to do somehow:
Is there an extension that does this easily? Is anyone working on one? Thanks. |
Beta Was this translation helpful? Give feedback.
Replies: 1 comment 5 replies
-
User preferences by definition workspace agnostic and putting layout information of concrete user in workspace preference is not practical. Depending on the product one can customize |
Beta Was this translation helpful? Give feedback.
User preferences by definition workspace agnostic and putting layout information of concrete user in workspace preference is not practical. Depending on the product one can customize
ShellLayoutRestorer
orStorageService
. For instance Gitpod is using database to store them. You will need to look into custom Theia extension to support something like that in Docker context.