v1.48.300 - Githubissues

eclipse-theia / theia-ide

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.

https://theia-ide.org/#theiaide

MIT License

343 stars 129 forks source link

v1.48.300 #353

Closed jfaltermeier closed 6 months ago

jfaltermeier commented 6 months ago

What it does

update to Theia 1.48.3
also add hint to check sample Theia applications on update
also add link to pre-built Theia IDE Docker Image

Contributed on behalf of STMicroelectronics

How to test

Build and check if everything is still working

Review checklist

[x] as an author, I have thoroughly tested my changes and carefully followed the review guidelines

Reminder for reviewers

as a reviewer, I agree to behave in accordance with the review guidelines