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