Moved the document title element into the document instead of main GUI

2020-05-01 20:51:46 +02:00
parent cc1113ea6c
commit bf3ecfbef4
5 changed files with 63 additions and 40 deletions
@@ -110,6 +110,10 @@ class GuiTheme:
        self.getPixmap = self.theIcons.getPixmap
        self.loadDecoration = self.theIcons.loadDecoration

+        # Extract Other Info
+        self.defFont = qApp.font()
+        self.defFontSize = self.defFont.pointSizeF()
+
        return

    ##