eric6/E5Gui/E5ToolButton.py

branch
eric6
changeset 8758
c3f57225c305
parent 8268
6b8128e0c9d1
equal deleted inserted replaced
8742:f27e0226becd 8758:c3f57225c305
57 self.__menu = None 57 self.__menu = None
58 self.__options = E5ToolButtonOptions.DEFAULT 58 self.__options = E5ToolButtonOptions.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