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