#83 Update to Theia 1.18.0 and support Codicons

eclipse-sprotty / sprotty-theia

Integration of Sprotty diagrams into Theia IDE

https://eclipse.org/sprotty

Eclipse Public License 2.0

24 stars 14 forks source link

Closed tortmayr closed 3 years ago

tortmayr commented 3 years ago

Fixes #83

Update Theia to 1.18.0
Update Jenkinsfile to use eclipsetheia/theia-blueprint docker image to be able to build Theia >=1.15.0 (which requires libsecret-1-dev)
Update sprotty to latest version
Use Codicons instead of FontAwesome icons

gitpod-io[bot] commented 3 years ago