UI/UserInterface.py

branch
6_1_x
changeset 4898
87f323577ce1
parent 4849
4eb0fba3b6c5
child 4951
59ee32941a5b
equal deleted inserted replaced
4894:542b5ff34053 4898:87f323577ce1
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

eric ide

mercurial