ViewManager/ViewManager.py

changeset 6053
c2d1566692d3
parent 6052
8b49d3e0b4c8
child 6072
059c8f981ef4
--- a/ViewManager/ViewManager.py	Mon Jan 01 19:06:33 2018 +0100
+++ b/ViewManager/ViewManager.py	Mon Jan 01 19:24:24 2018 +0100
@@ -3739,6 +3739,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