Hi guys,
We would like to implement a graphical editor. Show a box. Click on the box. See some properties of the box in a properties view. Change the size of the box. Save the file.
I was looking through the site along at the documentation (https://eclipse-theia.github.io/theia/docs/next/modules/plugin._theia_plugin-1.html) , but could not find an example of a graphical editor and generally editor that is not a code editor. Is there such example? Any API for dealing with properties?
Thanks.
[original thread by Kiril Mitov]
[Jonas Helming]
You might want to look at GLSP (https://www.eclipse.org/glsp/), which provides an integration with Eclipse Theia. There are also two open source examples available:
https://github.com/eclipsesource/coffee-editor
and
https://github.com/eclipsesource/ecore-glsp
which show how to integrate graphical editors into Theia.
Both are part of the EMF.cloud project (https://www.eclipse.org/emfcloud/)
Finally you an see this in action in the following video at 18:00 https://www.youtube.com/watch?v=BvRHWvxmXaA
[Kiril Mitov]
Thanks @jhelming would look at them.
[Deleted]
A bit less centered around graphical editing, but this could be interested as well (also based on Sprotty)
or as VSCode extension
https://www.typefox.io/blog/using-sprotty-in-vs-code-extensions