ViewManager/ViewManager.py

branch
5_3_x
changeset 2485
05b056d48e28
parent 2475
c74e1cff7f3f
child 2675
3215c3dc3bfa
equal deleted inserted replaced
2483:e9a964218c4e 2485:05b056d48e28
5656 eol = editor.getEolIndicator() 5656 eol = editor.getEolIndicator()
5657 self.__setSbFile(editor.getFileName(), line + 1, pos, enc, lang, eol) 5657 self.__setSbFile(editor.getFileName(), line + 1, pos, enc, lang, eol)
5658 5658
5659 self.checkActions.emit(editor) 5659 self.checkActions.emit(editor)
5660 5660
5661 saveAllEnable = False
5662 for editor in self.editors:
5663 if editor.isModified():
5664 saveAllEnable = True
5665 self.saveAllAct.setEnabled(saveAllEnable)
5666
5661 def preferencesChanged(self): 5667 def preferencesChanged(self):
5662 """ 5668 """
5663 Public slot to handle the preferencesChanged signal. 5669 Public slot to handle the preferencesChanged signal.
5664 5670
5665 This method performs the following actions 5671 This method performs the following actions

eric ide

mercurial