ViewManager/ViewManager.py

branch
5_3_x
changeset 2485
05b056d48e28
parent 2475
c74e1cff7f3f
child 2675
3215c3dc3bfa
--- a/ViewManager/ViewManager.py	Mon Mar 11 18:46:38 2013 +0100
+++ b/ViewManager/ViewManager.py	Mon Mar 11 19:00:54 2013 +0100
@@ -5658,6 +5658,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