search

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

Transpile to ES2017 #81

Closed planger closed 3 years ago

planger commented 3 years ago

To align with Theia, we should also transpile to ES2017. https://github.com/eclipse-theia/theia/pull/9436/files

gitpod-io[bot] commented 3 years ago

planger commented 3 years ago

Thanks for the fast approval! I've now also upgraded the Theia and Sprotty dependency to make sure theia-sprotty works with the latest Theia and Sprotty.