changeset 500 | d8c245d582a3 |
parent 497 | ab118b86bc54 |
child 502 | f3465a5f0dc4 |
1.1 --- a/mapeditor.cpp Wed May 30 15:23:08 2007 +0000 1.2 +++ b/mapeditor.cpp Mon Jun 11 09:40:59 2007 +0000 1.3 @@ -4445,6 +4445,11 @@ 1.4 1.5 void MapEditor::autosave() 1.6 { 1.7 + // Disable autosave, while we have gone back in history 1.8 + int redosAvail=undoSet.readNumEntry (QString("/history/redosAvail")); 1.9 + if (redosAvail>0) return; 1.10 + 1.11 + 1.12 if (mapUnsaved &&mapChanged && settings.value ("/mapeditor/autosave/use",true).toBool() ) 1.13 mainWindow->fileSave (this); 1.14 }