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?
Only globally, please file a feature request here for a per workspace basis: https://github.com/gitpod-io/gitpod/issues/new/choose