ViewManager/ViewManager.py

branch
maintenance
changeset 6054
3397c9428731
parent 6050
25a4ddb25ca4
child 6097
bf18415da0c7
--- a/ViewManager/ViewManager.py	Sun Dec 31 18:27:40 2017 +0100
+++ b/ViewManager/ViewManager.py	Mon Jan 01 19:24:24 2018 +0100
@@ -3709,6 +3709,8 @@
         self.nextSplitAct.setEnabled(False)
         self.prevSplitAct.setEnabled(False)
         self.previewAct.setEnabled(True)
+        self.newDocumentViewAct.setEnabled(False)
+        self.newDocumentSplitViewAct.setEnabled(False)
         
         self.splitOrientationAct.setChecked(
             Preferences.getUI("SplitOrientationVertical"))

eric ide

mercurial