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