#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 ndoschek closed 3 years ago

ndoschek 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 (to consume support of Codicons) - depends on https://github.com/eclipse/sprotty/pull/249
Use Codicons instead of FontAwesome icons

Remark: The docker image of the build and deploy job still use the Jenkinsfile of the master job, therefore the build fails.

gitpod-io[bot] commented 3 years ago

ndoschek commented 3 years ago