mdenet / educationplatform

Eclipse Public License 2.0
2 stars 3 forks source link

Saving doesn't work in generated Xtext editors #132

Closed szschaler closed 8 months ago

szschaler commented 8 months ago

When generating an Xtext editor, I can still click on "Save" in the left-hand side menu and the platform responds that it has done the saving, but the underlying repository isn't actually modified.