chore: Updated to Theia `1.31.1`#1662

Merged

kittaakos merged 8 commits intomainfrom

Nov 29, 2022

Commits on Nov 22, 2022

chore: Updated to Theia `1.31.1`
Akos Kitta
committed
chore: dependency cleanup :lipstick:
Akos Kitta
committed
fix: check for updates dialog
Akos Kitta
committed
fix: disabled undesired `@theia/typehierarchy`
Akos Kitta
committed

Commits on Nov 23, 2022

fix: react widget regression after open/close/open
Akos Kitta
committed
fix: revive `--theia-icon-loading` in IDE2
Akos Kitta
committed

Commits on Nov 28, 2022

fix: regression with the user fields React widget
Akos Kitta
committed
fix: restored `setRepresentedFilename` on macOS
Akos Kitta
committed