539 # Create the view manager depending on the configuration setting |
539 # Create the view manager depending on the configuration setting |
540 logging.debug("Creating Viewmanager...") |
540 logging.debug("Creating Viewmanager...") |
541 import ViewManager |
541 import ViewManager |
542 self.viewmanager = \ |
542 self.viewmanager = \ |
543 ViewManager.factory(self, self, debugServer, self.pluginManager) |
543 ViewManager.factory(self, self, debugServer, self.pluginManager) |
544 centralWidget = QWidget() |
544 leftWidget = QWidget() |
545 layout = QVBoxLayout() |
545 layout = QVBoxLayout() |
546 layout.setContentsMargins(1, 1, 1, 1) |
546 layout.setContentsMargins(1, 1, 1, 1) |
547 layout.setSpacing(1) |
547 layout.setSpacing(1) |
548 splitter = QSplitter(Qt.Horizontal) |
548 layout.addWidget(self.viewmanager) |
549 splitter.addWidget(self.viewmanager) |
|
550 layout.addWidget(splitter) |
|
551 layout.addWidget(self.viewmanager.searchWidget()) |
549 layout.addWidget(self.viewmanager.searchWidget()) |
552 layout.addWidget(self.viewmanager.replaceWidget()) |
550 layout.addWidget(self.viewmanager.replaceWidget()) |
553 self.viewmanager.setSizePolicy(QSizePolicy.Preferred, QSizePolicy.Expanding) |
551 self.viewmanager.setSizePolicy(QSizePolicy.Preferred, QSizePolicy.Expanding) |
554 centralWidget.setLayout(layout) |
552 leftWidget.setLayout(layout) |
555 self.setCentralWidget(centralWidget) |
|
556 self.viewmanager.searchWidget().hide() |
553 self.viewmanager.searchWidget().hide() |
557 self.viewmanager.replaceWidget().hide() |
554 self.viewmanager.replaceWidget().hide() |
|
555 |
|
556 splitter = QSplitter(Qt.Horizontal) |
|
557 splitter.addWidget(leftWidget) |
|
558 self.setCentralWidget(splitter) |
558 |
559 |
559 # Create previewer |
560 # Create previewer |
560 logging.debug("Creating Previewer...") |
561 logging.debug("Creating Previewer...") |
561 from .Previewer import Previewer |
562 from .Previewer import Previewer |
562 self.__previewer = Previewer(self.viewmanager, splitter) |
563 self.__previewer = Previewer(self.viewmanager, splitter) |