Mercurial Repositories > eric / file diff
diff: eric6/E5Gui/E5ToolButton.py
eric6/E5Gui/E5ToolButton.py
- branch
- eric6
- changeset 8758
- c3f57225c305
- parent 8268
- 6b8128e0c9d1
diff -r f27e0226becd -r c3f57225c305 eric6/E5Gui/E5ToolButton.py --- a/eric6/E5Gui/E5ToolButton.py Mon Nov 01 09:29:46 2021 +0100 +++ b/eric6/E5Gui/E5ToolButton.py Wed Nov 03 19:17:00 2021 +0100 @@ -59,7 +59,7 @@ self.__badgeLabel = QLabel(self) font = self.__badgeLabel.font() - font.setPixelSize(self.__badgeLabel.height() / 2.5) + font.setPixelSize(int(self.__badgeLabel.height() / 2.5)) self.__badgeLabel.setFont(font) self.__badgeLabel.hide()
