602 ViewManager.factory(self, self, debugServer, self.pluginManager) |
602 ViewManager.factory(self, self, debugServer, self.pluginManager) |
603 leftWidget = QWidget() |
603 leftWidget = QWidget() |
604 layout = QVBoxLayout() |
604 layout = QVBoxLayout() |
605 layout.setContentsMargins(1, 1, 1, 1) |
605 layout.setContentsMargins(1, 1, 1, 1) |
606 layout.setSpacing(1) |
606 layout.setSpacing(1) |
607 layout.addWidget(self.viewmanager) |
607 layout.addWidget(self.viewmanager.mainWidget()) |
608 layout.addWidget(self.viewmanager.searchWidget()) |
608 layout.addWidget(self.viewmanager.searchWidget()) |
609 layout.addWidget(self.viewmanager.replaceWidget()) |
609 layout.addWidget(self.viewmanager.replaceWidget()) |
610 self.viewmanager.setSizePolicy( |
610 self.viewmanager.mainWidget().setSizePolicy( |
611 QSizePolicy.Preferred, QSizePolicy.Expanding) |
611 QSizePolicy.Preferred, QSizePolicy.Expanding) |
612 leftWidget.setLayout(layout) |
612 leftWidget.setLayout(layout) |
613 self.viewmanager.searchWidget().hide() |
613 self.viewmanager.searchWidget().hide() |
614 self.viewmanager.replaceWidget().hide() |
614 self.viewmanager.replaceWidget().hide() |
615 |
615 |