The Eclipse IDE is a modern and open IDE for cloud and desktop. The Theia IDE is based on the Theia platform. The Theia IDE is available as a downloadable desktop application. You can also try the latest version of the Theia IDE online. For more details, see the Readme below.
However, when the preload spinner was added in https://github.com/eclipse-theia/theia-blueprint/pull/73 this got misinterpreted and every existing example of preload.html I can find is a standalone HTML page, which gets injected incorrectly into index.html.
Bug Description:
After building, the file
applications/browser/src-gen/frontend/index.html
contains invalid HTML:Steps to Reproduce:
yarn && yarn build:dev
Additional Information
When the preloadTemplate feature was added, it pretty explicitly only allowed users to insert additional HTML, not replace the existing HTML: https://github.com/eclipse-theia/theia/pull/4232
However, when the preload spinner was added in https://github.com/eclipse-theia/theia-blueprint/pull/73 this got misinterpreted and every existing example of
preload.html
I can find is a standalone HTML page, which gets injected incorrectly intoindex.html
.