615 stream >> self.__bigSize |
615 stream >> self.__bigSize |
616 self.__minSize = max(stream.readUInt16(), minSize) |
616 self.__minSize = max(stream.readUInt16(), minSize) |
617 self.__maxSize = max(stream.readUInt16(), maxSize) |
617 self.__maxSize = max(stream.readUInt16(), maxSize) |
618 count = stream.readUInt16() |
618 count = stream.readUInt16() |
619 self.splitterSizes = [] |
619 self.splitterSizes = [] |
620 for i in range(count): |
620 for _ in range(count): |
621 self.splitterSizes.append(stream.readUInt16()) |
621 self.splitterSizes.append(stream.readUInt16()) |
622 |
622 |
623 self.__autoHide = stream.readBool() |
623 self.__autoHide = stream.readBool() |
624 self.__autoHideButton.setChecked(not self.__autoHide) |
624 self.__autoHideButton.setChecked(not self.__autoHide) |
625 |
625 |