search

mdenet / educationplatform

Eclipse Public License 2.0
2 stars 3 forks source link

Prevent undoing back to an empty panel #149

Open barnettwilliam opened 8 months ago

barnettwilliam commented 8 months ago

Using ctrl+z to undo changes it is possible to undo back to a blank panel.

Resetting the panel editor's undo manager using reset() rather than markClean() in Panel.setValue() or by adding a separate method that allows the platform to reset this as suggested https://github.com/mdenet/educationplatform/pull/148#discussion_r1422322813

szschaler commented 8 months ago

This should be easy to do as suggested. Not sure what's the pedagogical preference, though...