Changes

Summary

Switch back to normal dependencies for sprotty and theia (#89) (details)

Commit 0d507c77d951b19e73e7146cee73b4a9ca3c23b5 by noreply

Switch back to normal dependencies for sprotty and theia (#89)

Theia does not play well with extension peer depdencies. Using peer dependencies messes up
the module loading  order. So we partly revert the change made with #87

yarn.lock (diff)

package.json (diff)