--- 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()