Is it possible to switch editors of an existing pod?

I have a pod that is using the VSCode editor. I’d like to swap to the Theia editor temporarily. Is it possible to do so in the current pod? Or would I have to setup a new pod for the same repo to use the other editor?

You can switch to Theia and then restart the same workspace.

Do I have to set this globally (e.g. under Settings --> Feature Preview) or is there something I can do on a per workspace basis?

1 Like

Only globally, please file a feature request here for a per workspace basis: https://github.com/gitpod-io/gitpod/issues/new/choose

1 Like

Done: https://github.com/gitpod-io/gitpod/issues/3205