UI/UserInterface.py

changeset 4896
5ace700023de
parent 4665
30d4972ab403
child 4901
38393e4d0ca3
equal deleted inserted replaced
4892:64fc1deaeadb 4896:5ace700023de
609 ViewManager.factory(self, self, debugServer, self.pluginManager) 609 ViewManager.factory(self, self, debugServer, self.pluginManager)
610 leftWidget = QWidget() 610 leftWidget = QWidget()
611 layout = QVBoxLayout() 611 layout = QVBoxLayout()
612 layout.setContentsMargins(1, 1, 1, 1) 612 layout.setContentsMargins(1, 1, 1, 1)
613 layout.setSpacing(1) 613 layout.setSpacing(1)
614 layout.addWidget(self.viewmanager) 614 layout.addWidget(self.viewmanager.mainWidget())
615 layout.addWidget(self.viewmanager.searchWidget()) 615 layout.addWidget(self.viewmanager.searchWidget())
616 layout.addWidget(self.viewmanager.replaceWidget()) 616 layout.addWidget(self.viewmanager.replaceWidget())
617 self.viewmanager.setSizePolicy( 617 self.viewmanager.mainWidget().setSizePolicy(
618 QSizePolicy.Preferred, QSizePolicy.Expanding) 618 QSizePolicy.Preferred, QSizePolicy.Expanding)
619 leftWidget.setLayout(layout) 619 leftWidget.setLayout(layout)
620 self.viewmanager.searchWidget().hide() 620 self.viewmanager.searchWidget().hide()
621 self.viewmanager.replaceWidget().hide() 621 self.viewmanager.replaceWidget().hide()
622 622

eric ide

mercurial