If you were used to the previous Gitpod editor (Theia) and now you are a lost (they have changed to VS Code) please remember that you can change that in your gitpod settings:
If you were used to the previous Gitpod editor (Theia) and now you are a lost (they have changed to VS Code) please remember that you can change that in your gitpod settings:
