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

Rethink dependency on builder #36

Closed JanKoehnlein closed 5 years ago

JanKoehnlein commented 5 years ago

Theia no longer auto-saves changed files by default. As a consequence, the Xtext builder is no longer run automatically and diagrams are not updated. We should rethink whether we want to support non-auto-save scenarios and whether we have to change to a different notification mechanism to update diagrams.

JanKoehnlein commented 5 years ago

Assumption is wrong: Builder still runs on non-saved changes. Closing.