E5Gui/E5SideBar.py

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

eric ide

mercurial