Theia 18 hotfixes#528

Merged

AlbyIanna merged 4 commits intomainfrom

theia-18-hotfixes

Oct 6, 2021

Commits on Oct 6, 2021

Restore monaco suggestion highlights
fstasi
committed
remove duplicated tabs on startup
fstasi
committed
fix rename and delete sketch
Alberto Iannaccone
committed
remove '.only(...)' in tests

Alberto Iannaccone
authored and
fstasi
committed