Plugins/ViewManagerPlugins/Listspace/Listspace.py

changeset 4393
aa574fe5ea93
parent 4298
4e7a0e2c20fc
child 4403
bd43fd5b4606
equal deleted inserted replaced
4392:7ce50a66cff0 4393:aa574fe5ea93
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)

eric ide

mercurial