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

Add Theia implementation for Sprotty context menu #47

Closed planger closed 4 years ago

planger commented 5 years ago

See eclipse/sprotty#139 This change requires https://github.com/eclipse/sprotty/pull/144 -- build has to be retriggered once https://github.com/eclipse/sprotty/pull/144 is merged, otherwise CI will keep failing.

gitpod-io[bot] commented 5 years ago

planger commented 5 years ago

Do you have an example how to use this somewhere

Please see https://github.com/eclipse/sprotty/pull/144#issuecomment-557558881