ViewManager/ViewManager.py

branch
5_4_x
changeset 3548
509de9ee6cb8
parent 3323
b55fcd897118
diff -r be1eb4e203c0 -r 509de9ee6cb8 ViewManager/ViewManager.py
--- a/ViewManager/ViewManager.py	Sun Apr 27 19:20:08 2014 +0200
+++ b/ViewManager/ViewManager.py	Tue Apr 29 18:02:02 2014 +0200
@@ -3514,6 +3514,9 @@
         self.prevSplitAct.setEnabled(False)
         self.previewAct.setEnabled(True)
         
+        self.splitOrientationAct.setChecked(
+            Preferences.getUI("SplitOrientationVertical"))
+        
     def initViewMenu(self):
         """
         Public method to create the View menu.
@@ -5687,6 +5690,7 @@
                 UI.PixmapCache.getIcon("remsplitVertical.png"))
             self.newDocumentSplitViewAct.setIcon(
                 UI.PixmapCache.getIcon("splitVertical.png"))
+        Preferences.setUI("SplitOrientationVertical", checked)
     
     def __previewEditor(self, checked):
         """

eric ide

mercurial