--- a/ViewManager/ViewManager.py Tue Aug 31 13:23:27 2010 +0200 +++ b/ViewManager/ViewManager.py Tue Aug 31 13:39:24 2010 +0200 @@ -3012,7 +3012,7 @@ if ok: self.setEditorName(editor, newName) return ok - elif res == QMessageBox.Abort or res == QMessageBox.Cancel: + elif res == QMessageBox.Abort: return False return True @@ -5101,4 +5101,4 @@ if aw is not None: if aw.hasSelectedText(): txt = aw.selectedText() - return txt \ No newline at end of file + return txt