eric7/EricWidgets/EricToolButton.py

branch
eric7
changeset 8647
cdbce48aded8
parent 8358
144a6b854f70
child 8881
54e42bc2437a
--- 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()
         

eric ide

mercurial