How to revert a previous version of gitpod?

I want to return to the previous version of gitpod, the new version has many problems for users of phones and tablets, is there a way to fix that or to return to the previous version?

You can switch back to the Theia IDE in the settings (https://gitpod.io/preferences).
Alternatively, you list the problems you see and we fix them.

1 Like

The problem is that my tablet PC keyboard does not work its shortcuts on gitpod after this update, on the number it was previously working

In the Theia IDE version, The code completion does not work even if you have downloaded a plugin like JSHINT, I hope you will fix it

Hey, could you be more specific about shortcuts? :pray: You can switch to Theia, but it is rather temporary solution.

nice, could you put it in the issue here: https://github.com/gitpod-io/gitpod otherwise it will get lost in the forum

1 Like
1 Like