CATEGORY: file handling
TITLE: extendded revert after save/quit
PRIO: 2
STATUS: started
FILES: 
UPDATED: $Id: file006 2417 2011-05-15 23:32:51Z aschn $

Keep a copy of every edited file, even after the file is saved and/or quitted. 
Undo and Autosave need to work independent of that!