Fixed the main window layout after the previewer change.

Sun, 17 Feb 2013 19:05:40 +0100

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Sun, 17 Feb 2013 19:05:40 +0100
changeset 2425
ace8a08028f3
parent 2424
8fe1fdc174ab
child 2426
da76c71624de

Fixed the main window layout after the previewer change.

UI/UserInterface.py file | annotate | diff | comparison | revisions
--- a/UI/UserInterface.py	Sun Feb 17 18:23:01 2013 +0100
+++ b/UI/UserInterface.py	Sun Feb 17 19:05:40 2013 +0100
@@ -541,21 +541,22 @@
         import ViewManager
         self.viewmanager = \
             ViewManager.factory(self, self, debugServer, self.pluginManager)
-        centralWidget = QWidget()
+        leftWidget = QWidget()
         layout = QVBoxLayout()
         layout.setContentsMargins(1, 1, 1, 1)
         layout.setSpacing(1)
-        splitter = QSplitter(Qt.Horizontal)
-        splitter.addWidget(self.viewmanager)
-        layout.addWidget(splitter)
+        layout.addWidget(self.viewmanager)
         layout.addWidget(self.viewmanager.searchWidget())
         layout.addWidget(self.viewmanager.replaceWidget())
         self.viewmanager.setSizePolicy(QSizePolicy.Preferred, QSizePolicy.Expanding)
-        centralWidget.setLayout(layout)
-        self.setCentralWidget(centralWidget)
+        leftWidget.setLayout(layout)
         self.viewmanager.searchWidget().hide()
         self.viewmanager.replaceWidget().hide()
         
+        splitter = QSplitter(Qt.Horizontal)
+        splitter.addWidget(leftWidget)
+        self.setCentralWidget(splitter)
+        
         # Create previewer
         logging.debug("Creating Previewer...")
         from .Previewer import Previewer

eric ide

mercurial