ViewManager/ViewManager.py

changeset 3547
c2a187c63209
parent 3484
645c12de6b0c
child 3591
2f2a4a76dd22
diff -r adce5fd2d051 -r c2a187c63209 ViewManager/ViewManager.py
--- a/ViewManager/ViewManager.py	Mon Apr 28 19:25:39 2014 +0200
+++ b/ViewManager/ViewManager.py	Tue Apr 29 18:02:02 2014 +0200
@@ -3516,6 +3516,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.
@@ -5706,6 +5709,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