Plugins/ViewManagerPlugins/Tabview/Tabview.py

changeset 4393
aa574fe5ea93
parent 4344
d096b2c767d8
child 4403
bd43fd5b4606
equal deleted inserted replaced
4392:7ce50a66cff0 4393:aa574fe5ea93
762 """ 762 """
763 self.tabWidgets = [] 763 self.tabWidgets = []
764 764
765 QSplitter.__init__(self, parent) 765 QSplitter.__init__(self, parent)
766 ViewManager.__init__(self) 766 ViewManager.__init__(self)
767 self.setChildrenCollapsible(False)
768
767 tw = TabWidget(self) 769 tw = TabWidget(self)
768 self.addWidget(tw) 770 self.addWidget(tw)
769 self.tabWidgets.append(tw) 771 self.tabWidgets.append(tw)
770 self.currentTabWidget = tw 772 self.currentTabWidget = tw
771 self.currentTabWidget.showIndicator(True) 773 self.currentTabWidget.showIndicator(True)

eric ide

mercurial