Fixed a mistake ...

2020-05-30 21:27:44 +02:00
parent 0af58aabad
commit 31b742aff4
2 changed files with 2 additions and 2 deletions
@@ -59,7 +59,7 @@ class GuiMainStatus(QStatusBar):

        self.fntFixed = QFont()
        self.fntFixed.setFamily("Monospace")
-        self.fntFixed.setPointSizeF(self.theTheme.fontPointSize)
+        self.fntFixed.setPointSizeF(0.95*self.theTheme.fontPointSize)

        colNone  = QColor(*self.theTheme.statNone)
        colTrue  = QColor(*self.theTheme.statUnsaved)