E5Gui/E5SideBar.py

branch
maintenance
changeset 6206
a02b03b7bfec
parent 6187
2cc7e3629784
child 6645
ad476851d7e0
equal deleted inserted replaced
6205:ad8ed15f90e5 6206:a02b03b7bfec
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

eric ide

mercurial