ViewManager/ViewManager.py

changeset 2484
105d78ba97d4
parent 2474
8727522a69d5
child 2525
8b507a9a2d40
child 2589
a51b0c113ed7
--- a/ViewManager/ViewManager.py	Mon Mar 11 18:46:38 2013 +0100
+++ b/ViewManager/ViewManager.py	Mon Mar 11 19:00:54 2013 +0100
@@ -5734,6 +5734,12 @@
             
             self.checkActions.emit(editor)
         
+        saveAllEnable = False
+        for editor in self.editors:
+            if editor.isModified():
+                saveAllEnable = True
+        self.saveAllAct.setEnabled(saveAllEnable)
+        
     def preferencesChanged(self):
         """
         Public slot to handle the preferencesChanged signal.

eric ide

mercurial