198 """ |
198 """ |
199 self.stacks = [] |
199 self.stacks = [] |
200 |
200 |
201 QSplitter.__init__(self, parent) |
201 QSplitter.__init__(self, parent) |
202 ViewManager.__init__(self) |
202 ViewManager.__init__(self) |
|
203 self.setChildrenCollapsible(False) |
203 |
204 |
204 self.viewlist = QListWidget(self) |
205 self.viewlist = QListWidget(self) |
205 policy = self.viewlist.sizePolicy() |
206 policy = self.viewlist.sizePolicy() |
206 policy.setHorizontalPolicy(QSizePolicy.Ignored) |
207 policy.setHorizontalPolicy(QSizePolicy.Ignored) |
207 self.viewlist.setSizePolicy(policy) |
208 self.viewlist.setSizePolicy(policy) |
209 self.viewlist.setContextMenuPolicy(Qt.CustomContextMenu) |
210 self.viewlist.setContextMenuPolicy(Qt.CustomContextMenu) |
210 self.viewlist.currentRowChanged.connect(self.__showSelectedView) |
211 self.viewlist.currentRowChanged.connect(self.__showSelectedView) |
211 self.viewlist.customContextMenuRequested.connect(self.__showMenu) |
212 self.viewlist.customContextMenuRequested.connect(self.__showMenu) |
212 |
213 |
213 self.stackArea = QSplitter(self) |
214 self.stackArea = QSplitter(self) |
|
215 self.stackArea.setChildrenCollapsible(False) |
214 self.addWidget(self.stackArea) |
216 self.addWidget(self.stackArea) |
215 self.stackArea.setOrientation(Qt.Vertical) |
217 self.stackArea.setOrientation(Qt.Vertical) |
216 stack = StackedWidget(self.stackArea) |
218 stack = StackedWidget(self.stackArea) |
217 self.stackArea.addWidget(stack) |
219 self.stackArea.addWidget(stack) |
218 self.stacks.append(stack) |
220 self.stacks.append(stack) |