ViewManager/ViewManager.py

changeset 6053
c2d1566692d3
parent 6052
8b49d3e0b4c8
child 6072
059c8f981ef4
equal deleted inserted replaced
6052:8b49d3e0b4c8 6053:c2d1566692d3
3737 self.splitOrientationAct.setEnabled(False) 3737 self.splitOrientationAct.setEnabled(False)
3738 self.splitRemoveAct.setEnabled(False) 3738 self.splitRemoveAct.setEnabled(False)
3739 self.nextSplitAct.setEnabled(False) 3739 self.nextSplitAct.setEnabled(False)
3740 self.prevSplitAct.setEnabled(False) 3740 self.prevSplitAct.setEnabled(False)
3741 self.previewAct.setEnabled(True) 3741 self.previewAct.setEnabled(True)
3742 self.newDocumentViewAct.setEnabled(False)
3743 self.newDocumentSplitViewAct.setEnabled(False)
3742 3744
3743 self.splitOrientationAct.setChecked( 3745 self.splitOrientationAct.setChecked(
3744 Preferences.getUI("SplitOrientationVertical")) 3746 Preferences.getUI("SplitOrientationVertical"))
3745 3747
3746 def initViewMenu(self): 3748 def initViewMenu(self):

eric ide

mercurial