No description, website, or topics provided.
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
css
src
.gitignore
.gitpod.yml
Jenkinsfile
LICENSE
README.md
mocha.opts
package.json
tsconfig.json
tslint.json
yarn.lock

README.md

sprotty-theia

Glue code for Sprotty diagrams - with or without language servers - in Theia.

Build

yarn

Pre-build npm packages available from npmjs.

See also

  • sprotty the client part of the Sprotty framework.
  • sprotty-server libraries to implement Sprotty diagram servers in Java. Also covers addin Sprotty diagram support to Xtext-based language servers.

References