[ATL-1599] [ATL-1416] Upgrade Theia to 1.18.0#489

Merged

fstasi merged 22 commits intomainfrom

Oct 6, 2021

Commits on Sep 2, 2021

theia 1.13.0
fstasi
committed
theia 1.14.0
fstasi
committed
theia 1.15.0
fstasi
committed
theia 1.16.0
fstasi
committed
theia 1.17.0
fstasi
committed
ATL-1416: new windows to not overlap
fstasi
committed
force top panel to be visible
fstasi
committed
cleanup script
fstasi
committed
fix context menus
fstasi
committed
Update arduino-ide-extension/src/browser/widgets/sketchbook/sketchbook-widget-contribution.ts

fstasi
and
Alberto Iannaccone
committed
theia 1.17.1
fstasi
committed
fixed app build
fstasi
committed
updated node-gyp
fstasi
committed

Commits on Sep 14, 2021

updated launch.json configuration
fstasi
committed

Commits on Sep 15, 2021

Commits on Sep 22, 2021

theia 1.17.2
fstasi
committed

Commits on Oct 4, 2021

Commits on Oct 5, 2021

use custom close icon in dialogs
fstasi
committed
show sketchbook commands on hover

fstasi
authored and
Alberto Iannaccone
committed

Commits on Oct 6, 2021

Merge branch 'main' into theia-upgrade
fstasi
committed