On: Web IDE Beta

[zamalek]

There's actually a few products.

Gateway is a remote IDE in the browser, it's a rewrite of their front-end (Spring I think?) to marshal the UI over HTTP.

Remote is similar to VSCode. The IDE is split into a front-end and a backend: the UI stuff happens locally, and does RPC to the backend for file access, terminal, language server, what-not.

[NoahKAndrews → zamalek]

Gateway is a desktop app. https://www.jetbrains.com/remote-development/gateway/