8000 chore(deps): update to `theia@1.41.0` by kittaakos · Pull Request #2211 · arduino/arduino-ide · GitHub

chore(deps): update to `theia@1.41.0`#2211

Merged

kittaakos merged 5 commits intomainfrom

Sep 29, 2023

Commits on Sep 29, 2023

chore(deps): update to `theia@1.41.0`
Akos Kitta
committed
fix(i18n): update links to match vscode@1.80.0 API
Akos Kitta
committed
fix: blacklist undesired `New Text File` menu
Akos Kitta
committed
fix(regression): core preference is not optional
Akos Kitta
committed
fix: make editor readonly if resource is readonly
Akos Kitta
committed

0