Available Workspace Editors
Only workspace editors defined by the owner of an Organization in the Organization-level workspace editor policy are viewable by members.Editors listed in the IDEs and editors reference are available by default for both Pay-as-you-go and Enterprise.
Workspace Default Editor
The default workspace editor is based on your user preferences. This setting can be overridden by the most recently used workspace creation options (you can reset those in the user preferences). If your organization or selected repository has a limited number of editors available, the default editor is selected from the available options.Select a workspace editor for your workspace
You can select a workspace editor directly from the Gitpod Dashboard. You can do so by clicking on theNew Workspace
button and find the editor selection dropdown.