601 self.viewmanager = \ |
601 self.viewmanager = \ |
602 ViewManager.factory(self, self, debugServer, self.pluginManager) |
602 ViewManager.factory(self, self, debugServer, self.pluginManager) |
603 centralWidget = QWidget() |
603 centralWidget = 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.addWidget(self.viewmanager) |
607 layout.addWidget(self.viewmanager) |
607 layout.addWidget(self.viewmanager.searchDlg) |
608 layout.addWidget(self.viewmanager.searchWidget()) |
608 layout.addWidget(self.viewmanager.replaceDlg) |
609 layout.addWidget(self.viewmanager.replaceWidget()) |
609 self.viewmanager.setSizePolicy(QSizePolicy.Preferred, QSizePolicy.Expanding) |
610 self.viewmanager.setSizePolicy(QSizePolicy.Preferred, QSizePolicy.Expanding) |
610 centralWidget.setLayout(layout) |
611 centralWidget.setLayout(layout) |
611 self.setCentralWidget(centralWidget) |
612 self.setCentralWidget(centralWidget) |
612 self.viewmanager.searchDlg.hide() |
613 self.viewmanager.searchWidget().hide() |
613 self.viewmanager.replaceDlg.hide() |
614 self.viewmanager.replaceWidget().hide() |
614 |
615 |
615 # Create layout with toolbox windows embedded in dock windows |
616 # Create layout with toolbox windows embedded in dock windows |
616 if self.layout == "Toolboxes": |
617 if self.layout == "Toolboxes": |
617 logging.debug("Creating toolboxes...") |
618 logging.debug("Creating toolboxes...") |
618 self.__createToolboxesLayout(debugServer) |
619 self.__createToolboxesLayout(debugServer) |
3320 Public slot to activate the debug view profile. |
3321 Public slot to activate the debug view profile. |
3321 |
3322 |
3322 @param save flag indicating that the current profile should |
3323 @param save flag indicating that the current profile should |
3323 be saved (boolean) |
3324 be saved (boolean) |
3324 """ |
3325 """ |
3325 self.viewmanager.searchDlg.hide() |
3326 self.viewmanager.searchWidget().hide() |
3326 self.viewmanager.replaceDlg.hide() |
3327 self.viewmanager.replaceWidget.hide() |
3327 self.__activateViewProfile("debug", save) |
3328 self.__activateViewProfile("debug", save) |
3328 self.setDebugProfileAct.setChecked(True) |
3329 self.setDebugProfileAct.setChecked(True) |
3329 |
3330 |
3330 def getViewProfile(self): |
3331 def getViewProfile(self): |
3331 """ |
3332 """ |