--- a/eric7/EricWidgets/EricToolButton.py Sun Sep 26 20:21:35 2021 +0200 +++ b/eric7/EricWidgets/EricToolButton.py Mon Sep 27 10:50:18 2021 +0200 @@ -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()