search

gitpod-io / gitpod

The developer platform for on-demand cloud development environments to create software faster and more securely.
https://www.gitpod.io
GNU Affero General Public License v3.0
12.71k stars 1.21k forks source link

Investigate how to switch between vscode web stable and insiders from within vscode web itself #7410

Open jeanp413 opened 2 years ago

jeanp413 commented 2 years ago

It would be nice and better user experience to be able to switch between vscode web stable and insiders from within vscode web itself (codespaces already do this) rather than going to the dashboard preferences. Furthermore, with the current approach, it's not possible to switch the current workspace vscode version, for that you would have to update your dashboard preferences and then restart your current workspace (force it to stop and start again)

akosyakov commented 2 years ago

I think it is interesting engineering challenge, but I'm not sure that it is a really big issue for end users. Most of them don't care about insiders.

loujaybee commented 2 years ago

We should also consider in future about whether this feature allows the user to switch overall IDE, or just the version.

Removing from inbox for now 🙏

akosyakov commented 2 years ago

@jeanp413 Could it be implemented by toggling it in user settings, starting another workspace, stopping current and reloading the screen?

jeanp413 commented 2 years ago

@jeanp413 Could it be implemented by toggling it in user settings,

You mean dashboard preferences?

starting another workspace, stopping current and reloading the screen?

The point is to not start a new workspace but use the same

stale[bot] commented 2 years ago

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.