E5Gui/E5SideBar.py

changeset 1440
268366c65cbb
parent 1428
6fdd3432654f
child 1447
715bfc0c02db
equal deleted inserted replaced
1439:953d3f95ee4d 1440:268366c65cbb
139 else: 139 else:
140 minSize = max(self.__minSize, self.minimumSizeHint().width()) 140 minSize = max(self.__minSize, self.minimumSizeHint().width())
141 self.setMinimumWidth(minSize) 141 self.setMinimumWidth(minSize)
142 self.setMaximumWidth(self.__maxSize) 142 self.setMaximumWidth(self.__maxSize)
143 if self.splitter: 143 if self.splitter:
144 index = self.splitter.indexOf(self)
145 self.splitterSizes[index] = max(self.splitterSizes[index], minSize+10)
146 self.splitter.setSizes(self.splitterSizes) 144 self.splitter.setSizes(self.splitterSizes)
147 145
148 def isMinimized(self): 146 def isMinimized(self):
149 """ 147 """
150 Public method to check the minimized state. 148 Public method to check the minimized state.
509 if state.isEmpty(): 507 if state.isEmpty():
510 return False 508 return False
511 509
512 if self.__orientation in [E5SideBar.North, E5SideBar.South]: 510 if self.__orientation in [E5SideBar.North, E5SideBar.South]:
513 minSize = self.layout.minimumSize().height() 511 minSize = self.layout.minimumSize().height()
512 maxSize = self.maximumHeight()
514 else: 513 else:
515 minSize = self.layout.minimumSize().width() 514 minSize = self.layout.minimumSize().width()
515 maxSize = self.maximumWidth()
516 516
517 data = QByteArray(state) 517 data = QByteArray(state)
518 stream = QDataStream(data, QIODevice.ReadOnly) 518 stream = QDataStream(data, QIODevice.ReadOnly)
519 stream.readUInt16() # version 519 stream.readUInt16() # version
520 minimized = stream.readBool() 520 minimized = stream.readBool()
522 if minimized: 522 if minimized:
523 self.shrink() 523 self.shrink()
524 524
525 stream >> self.__bigSize 525 stream >> self.__bigSize
526 self.__minSize = max(stream.readUInt16(), minSize) 526 self.__minSize = max(stream.readUInt16(), minSize)
527 self.__maxSize = stream.readUInt16() 527 self.__maxSize = max(stream.readUInt16(), maxSize)
528 count = stream.readUInt16() 528 count = stream.readUInt16()
529 self.splitterSizes = [] 529 self.splitterSizes = []
530 for i in range(count): 530 for i in range(count):
531 self.splitterSizes.append(stream.readUInt16()) 531 self.splitterSizes.append(stream.readUInt16())
532 if self.splitter:
533 index = self.splitter.indexOf(self)
534 self.splitterSizes[index] = max(self.splitterSizes[index], minSize)
535 532
536 self.__autoHide = stream.readBool() 533 self.__autoHide = stream.readBool()
537 self.__autoHideButton.setChecked(not self.__autoHide) 534 self.__autoHideButton.setChecked(not self.__autoHide)
538 535
539 if not minimized: 536 if not minimized:

eric ide

mercurial