ViewManager/ViewManager.py

changeset 540
2631831b4052
parent 539
87f9bce38a44
child 548
ac7af05dd54a
--- 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

eric ide

mercurial