UI/UserInterface.py

changeset 2362
68a92d01c1cc
parent 2361
fe8bccb78a8d
child 2369
0b7b019247e5
equal deleted inserted replaced
2361:fe8bccb78a8d 2362:68a92d01c1cc
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 """

eric ide

mercurial