Skip to content

[WIP]: Theia 1.27.0 signed#1241

Closed

kittaakos wants to merge 11 commits intomain from

theia-1.27.0-signed

Closed

[WIP]: Theia 1.27.0 signed #1241
kittaakos wants to merge 11 commits intomain from
theia-1.27.0-signed

Commits

Commits on Jul 22, 2022

ignore the arduino LS output channel.
author
Akos Kitta
committed
debounced the connectivity status update
author
Akos Kitta
committed
use the noop output Arduino VSIX
author
Akos Kitta
committed
Bumped to Theia 1.27.0
author
Akos Kitta
committed

Commits on Jul 25, 2022

Use DI in theme service to handle the default IDE2 theme.
author
Akos Kitta
committed
Fixed `EditorManager` binding.
author
Akos Kitta
committed
Disabled preferences schema validation in IDE2.
author
Akos Kitta
committed
Fixed electron menu contribution binding.
author
Akos Kitta
committed
Workaround for duplicate editor tabs from Theia.
author
Akos Kitta
committed
Aligned the editor widget factory API with Theia.
author
Akos Kitta
committed
Restored download links after Open VSX recovery.
author
Akos Kitta
committed