undo fix: remote the file record also, not just the history record
improve undo - retain the history record but set flag indicating undone