Gui sizes should now scale between high and low DPI screens

2020-06-05 16:18:20 +02:00
parent 0a3751046b
commit d95e8caa50
11 changed files with 167 additions and 100 deletions
@@ -105,7 +105,7 @@ class GuiDocViewer(QTextBrowser):
        docPalette.setColor(QPalette.Text, QColor(*self.theTheme.colText))
        self.setPalette(docPalette)

-        self.qDocument.setDocumentMargin(self.mainConf.textMargin)
+        self.qDocument.setDocumentMargin(self.mainConf.getTextMargin())
        theOpt = QTextOption()
        if self.mainConf.doJustify:
            theOpt.setAlignment(Qt.AlignJustify)
@@ -216,7 +216,7 @@ class GuiDocViewer(QTextBrowser):
        tB = self.lineWidth()
        tW = self.width() - 2*tB
        tH = self.docTitle.height()
-        tT = self.mainConf.textMargin - tH
+        tT = self.mainConf.getTextMargin() - tH
        self.docTitle.setGeometry(tB, tB, tW, tH)
        self.setViewportMargins(0, tH, 0, 0)