UI/UserInterface.py

changeset 2425
ace8a08028f3
parent 2424
8fe1fdc174ab
child 2474
8727522a69d5
--- 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