eric7/EricWidgets/EricToolButton.py

branch
eric7
changeset 8647
cdbce48aded8
parent 8358
144a6b854f70
child 8881
54e42bc2437a
equal deleted inserted replaced
8646:4b84216fc8e2 8647:cdbce48aded8
57 self.__menu = None 57 self.__menu = None
58 self.__options = EricToolButtonOptions.DEFAULT 58 self.__options = EricToolButtonOptions.DEFAULT
59 59
60 self.__badgeLabel = QLabel(self) 60 self.__badgeLabel = QLabel(self)
61 font = self.__badgeLabel.font() 61 font = self.__badgeLabel.font()
62 font.setPixelSize(self.__badgeLabel.height() / 2.5) 62 font.setPixelSize(int(self.__badgeLabel.height() / 2.5))
63 self.__badgeLabel.setFont(font) 63 self.__badgeLabel.setFont(font)
64 self.__badgeLabel.hide() 64 self.__badgeLabel.hide()
65 65
66 opt = QStyleOptionToolButton() 66 opt = QStyleOptionToolButton()
67 self.initStyleOption(opt) 67 self.initStyleOption(opt)

eric ide

mercurial