E5Gui/E5SideBar.py

changeset 3975
12e8acffb2c8
parent 3778
0c5bc18da740
child 4021
195a471c327b
equal deleted inserted replaced
3974:01991e605ba0 3975:12e8acffb2c8
606 stream = QDataStream(data, QIODevice.ReadOnly) 606 stream = QDataStream(data, QIODevice.ReadOnly)
607 stream.setVersion(QDataStream.Qt_4_6) 607 stream.setVersion(QDataStream.Qt_4_6)
608 stream.readUInt16() # version 608 stream.readUInt16() # version
609 minimized = stream.readBool() 609 minimized = stream.readBool()
610 610
611 if minimized: 611 if minimized and not self.__minimized:
612 self.shrink() 612 self.shrink()
613 613
614 stream >> self.__bigSize 614 stream >> self.__bigSize
615 self.__minSize = max(stream.readUInt16(), minSize) 615 self.__minSize = max(stream.readUInt16(), minSize)
616 self.__maxSize = max(stream.readUInt16(), maxSize) 616 self.__maxSize = max(stream.readUInt16(), maxSize)

eric ide

mercurial