Theia v1.40.0 (and support per-platform Theia versions)
This release upgrades the embedded Theia IDE to v1.40.0 from v1.35.0, for the linux/amd64 and linux/arm64 platforms. (The linux/arm/v7 platform, which does not support v1.40.0, stays on v1.35.0). This completes #14 and #13.
Additionally, this release:
- Migrates all development VSIX extensions from the image to
extensions.json, reducing image size. When developing Dockside within Dockside and opening the IDE, you will now be asked if you want to install development extensions. - Refactors and bugfixes the image selection UI
For details of the changes between the Theia releases, please see:
- https://github.com/eclipse-theia/theia/releases/tag/v1.36.0
- https://github.com/eclipse-theia/theia/releases/tag/v1.37.0
- https://github.com/eclipse-theia/theia/releases/tag/v1.38.0
- https://github.com/eclipse-theia/theia/releases/tag/v1.39.0
- https://github.com/eclipse-theia/theia/releases/tag/v1.40.0
Users of Dockside v1.5.0 or later can upgrade the version of Theia available to run within existing devtainers to the latest version by running the following command, then stopping and starting their devtainers:
docker exec <dockside-container> upgrade