search

adamyg / grief

GRIEF - BRIEF clone
http://grief.sourceforge.net/
Other
33 stars 9 forks source link

UNDO and save interaction #33

Closed adamyg closed 1 month ago

adamyg commented 1 year ago

a) edit + save, then undo; buffer is not marked a dirty, hence wont be auto-saved.

b) undo can be performed prior to last save point; should optionally prompt

adamyg commented 1 year ago

functionality was inadvertently removed