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).
frank2|5 years ago
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?
jankeromnes|5 years ago
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).