theia-website
theia-website copied to clipboard
eclipse-theia
Theia's Website
I believe this mistakenly links to Theia's github page rather than Theia-IDE's/Blueprint's, which is what this hyperlink is referring to.
quite a few components have unused CSS in it. We should use a coverage report and clean this up.
Follow up of https://github.com/eclipse-theia/theia-website/issues/468 When the time has come to make the Theia IDE more visible, we might extend the header by a two column design such as: 
With npm version `8.19.4`, I get the following errors when running `npm install`: ``` npm ERR! code ERESOLVE npm ERR! ERESOLVE could not resolve npm ERR! npm ERR! While resolving:...
After the project is built, each route needs to be prefixed with “public” in order to work. Without the “public” prefix, it results in a 404 error. After the build,...
* One download section for electron and docker based app * Documentation for creating a desktop application * Documentation for creating a docker application
Fixes theia-ide/theia-website#113
As discussed in the Theia Dev meeting, it would probably make sense to move the website deployment to an official foundation netlify account so that a group of people has...
**Description** For consistency the dynamic toolbar title should be updated: `Using the dynamic Toolbar` > `Using the Dynamic Toolbar` https://github.com/eclipse-theia/theia-website/blob/231c243fce89813d2214ebd7ff496e67bf543563/src/docs/menu.js#L59-L62 `Using the dynamic Toolbar in Theia` > `Using the Dynamic...
