Comment Comment by jankeromnes You've probably seen https://gitpod.io then, which is kind of a hosted Theia that seems to work well in any browser/OS/device? parent jankeromnes 6 years ago
