Merge release 2.4.3 into main

2024-05-20 13:07:14 +02:00
parent 51f91a27e2 7b8021de02
commit 728f1ce1e3
8 changed files with 140 additions and 63 deletions
@@ -152,6 +152,8 @@ class GuiTheme:
        self.guiFont = QApplication.font()
        self.guiFontB = QApplication.font()
        self.guiFontB.setBold(True)
+        self.guiFontSmall = QApplication.font()
+        self.guiFontSmall.setPointSizeF(0.9*self.guiFont.pointSizeF())

        qMetric = QFontMetrics(self.guiFont)
        fHeight = qMetric.height()