Closed tortmayr closed 5 years ago
Migrate to latest sprotty version (UIExtension/Command Palette is now in sprotty core) and fix API breaks
Migrate to latest sprotty version (UIExtension/Command Palette is now in sprotty core) and fix API breaks