Running KEITH

Setting up your eclipse

For everything not mentioned here refer to Configuring Eclipse guide.

...

It is required to restart the language server if KEITH is restarted, since the diagram view has a problem (since theia-sprotty is used) to reconnect after that.

Developing for KEITH

Register an extension (on server side)

Register an extension (on client side)

How to send messages

How to write a widget