mirror of
https://github.com/gitpod-io/gitpod.git
synced 2025-12-08 17:36:30 +00:00
83e56d54d5
* Add xterm as an IDE * Move the IDE to our GCP registry 🎉 * Also resolve the source code commit for IDEs in `ide-service` * Add feature flag * Xterm => terminal * Revert "Also resolve the source code commit for IDEs in `ide-service`" This reverts commit 06aee00959c24469e6fae904394badd4660dd97b. * always add `<iframe>` to the top of `<body>` * Add the next non-jb IDE :) * Add latest image * Filter out IDEs on the backend (#17324) * Address review comments Never mutate `s.ideConfig` itself and make an in-memory copy of it to not use it every time. * Pre-compute outside * Stringify config instead of options