Theia 1.46.1 Update - 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

Theia 1.46.1 Update #333

Closed jfaltermeier closed 8 months ago

jfaltermeier commented 8 months ago

Contributed on behalf of STMicroelectronics

What it does

Updates the ide to 1.46.1

How to test

Build and check that everything still works

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