ViewManager/ViewManager.py

branch
maintenance
changeset 6054
3397c9428731
parent 6050
25a4ddb25ca4
child 6097
bf18415da0c7
equal deleted inserted replaced
6050:25a4ddb25ca4 6054:3397c9428731
3707 self.splitOrientationAct.setEnabled(False) 3707 self.splitOrientationAct.setEnabled(False)
3708 self.splitRemoveAct.setEnabled(False) 3708 self.splitRemoveAct.setEnabled(False)
3709 self.nextSplitAct.setEnabled(False) 3709 self.nextSplitAct.setEnabled(False)
3710 self.prevSplitAct.setEnabled(False) 3710 self.prevSplitAct.setEnabled(False)
3711 self.previewAct.setEnabled(True) 3711 self.previewAct.setEnabled(True)
3712 self.newDocumentViewAct.setEnabled(False)
3713 self.newDocumentSplitViewAct.setEnabled(False)
3712 3714
3713 self.splitOrientationAct.setChecked( 3715 self.splitOrientationAct.setChecked(
3714 Preferences.getUI("SplitOrientationVertical")) 3716 Preferences.getUI("SplitOrientationVertical"))
3715 3717
3716 def initViewMenu(self): 3718 def initViewMenu(self):

eric ide

mercurial