--- 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.