Theia v1.35.0
This release upgrades the embedded Theia IDE to v1.35.0 from v1.27.0.
It also improves the reliability of Dockside when handling a LetsEncrypt SSL certificate update.
It also improves the ease with which Theia can be launched - using an image built only to the theia-build
build stage - for editing the Theia JavaScript codebase, rebuilding and testing Theia and building patch-package
patches.
For details of the changes between the Theia releases, please see:
- https://github.com/eclipse-theia/theia/releases/tag/v1.28.0
- https://github.com/eclipse-theia/theia/releases/tag/v1.29.0
- https://github.com/eclipse-theia/theia/releases/tag/v1.30.0
- https://github.com/eclipse-theia/theia/releases/tag/v1.31.0
- https://github.com/eclipse-theia/theia/releases/tag/v1.32.0
- https://github.com/eclipse-theia/theia/releases/tag/v1.33.0
- https://github.com/eclipse-theia/theia/releases/tag/v1.34.0
- https://github.com/eclipse-theia/theia/releases/tag/v1.35.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