Fix default font in editor

2024-11-26 01:06:47 +01:00
parent 2808c36753
commit 8463188336
1 changed files with 1 additions and 0 deletions
@@ -349,6 +349,7 @@ class GuiDocEditor(QPlainTextEdit):
        # Set the font. See issues #1862 and #1875.
        self.setFont(CONFIG.textFont)
        self._qDocument.setDefaultFont(CONFIG.textFont)
        self.docHeader.updateFont()
        self.docFooter.updateFont()
        self.docSearch.updateFont()