> Gitpod looked nice but the fact that you can only customize the editor per-repository doesn't make sense to me.
Gitpod also has user-specific Preferences, and even user-specific VS Code extensions. (Usually customization places have a "Workspace" tab and a "User" tab.)
gitpod.io is tightly integrated with the Monaco editor; is it not?
I ask because the top of https://microsoft.github.io/monaco-editor/ says, "The Monaco editor is not supported in mobile browsers or mobile web frameworks". Has Microsoft changed their policy and simply neglected to change the passage I just quoted?
You're right, Gitpod uses Theia, which uses Monaco, which doesn't officially support mobile browsers.
However, we do extensive testing of Gitpod and Theia on mobile devices, and work around bugs or contribute fixes upstream to Monaco when possible.
Gitpod/Theia users now report that the iPad experience is great, and we continue to push forward on improving it.
On the other hand, VS Codespaces blocks you with a "This browser is not supported" error page when you're not using Chrome. (Even pre-Chromium Edge is unsupported.) But you absolutely need Safari support to work on iPad (all browsers there are basically just Safari skins).