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) |