Manage editor state when changing contents

mdenet / educationplatform

Eclipse Public License 2.0

2 stars 3 forks source link

Manage editor state when changing contents #148

Closed szschaler closed 8 months ago

szschaler commented 8 months ago

This PR introduces code to only save panels whose contents has actually been edited by the user. We do this by using the clean/dirty flag maintained by ACE's UndoManager class.

Closes #146