ViewManager/ViewManager.py

changeset 2484
105d78ba97d4
parent 2474
8727522a69d5
child 2525
8b507a9a2d40
child 2589
a51b0c113ed7
equal deleted inserted replaced
2481:60da8e6c0547 2484:105d78ba97d4
5732 self.__setSbFile( 5732 self.__setSbFile(
5733 editor.getFileName(), line + 1, pos, enc, lang, eol, zoom) 5733 editor.getFileName(), line + 1, pos, enc, lang, eol, zoom)
5734 5734
5735 self.checkActions.emit(editor) 5735 self.checkActions.emit(editor)
5736 5736
5737 saveAllEnable = False
5738 for editor in self.editors:
5739 if editor.isModified():
5740 saveAllEnable = True
5741 self.saveAllAct.setEnabled(saveAllEnable)
5742
5737 def preferencesChanged(self): 5743 def preferencesChanged(self):
5738 """ 5744 """
5739 Public slot to handle the preferencesChanged signal. 5745 Public slot to handle the preferencesChanged signal.
5740 5746
5741 This method performs the following actions 5747 This method performs the following actions

eric ide

mercurial