UI/UserInterface.py

changeset 2424
8fe1fdc174ab
parent 2411
aec0a8a6e548
child 2425
ace8a08028f3
--- a/UI/UserInterface.py	Sat Feb 16 16:32:32 2013 +0100
+++ b/UI/UserInterface.py	Sun Feb 17 18:23:01 2013 +0100
@@ -545,7 +545,9 @@
         layout = QVBoxLayout()
         layout.setContentsMargins(1, 1, 1, 1)
         layout.setSpacing(1)
-        layout.addWidget(self.viewmanager)
+        splitter = QSplitter(Qt.Horizontal)
+        splitter.addWidget(self.viewmanager)
+        layout.addWidget(splitter)
         layout.addWidget(self.viewmanager.searchWidget())
         layout.addWidget(self.viewmanager.replaceWidget())
         self.viewmanager.setSizePolicy(QSizePolicy.Preferred, QSizePolicy.Expanding)
@@ -554,6 +556,12 @@
         self.viewmanager.searchWidget().hide()
         self.viewmanager.replaceWidget().hide()
         
+        # Create previewer
+        logging.debug("Creating Previewer...")
+        from .Previewer import Previewer
+        self.__previewer = Previewer(self.viewmanager, splitter)
+        splitter.addWidget(self.__previewer)
+        
         # Create layout with toolbox windows embedded in dock windows
         if self.layout == "Toolboxes":
             logging.debug("Creating toolboxes...")
@@ -5258,6 +5266,8 @@
         if not self.viewmanager.closeViewManager():
             return False
         
+        self.__previewer.shutdown()
+        
         self.shell.closeShell()
         self.terminal.closeTerminal()
         

eric ide

mercurial