Merge branch 'release'
This commit is contained in:
@@ -334,7 +334,7 @@ class GuiDocEditor(QPlainTextEdit):
|
||||
font = QFont()
|
||||
font.setFamily(CONFIG.textFont)
|
||||
font.setPointSize(CONFIG.textSize)
|
||||
self.setFont(font)
|
||||
self._qDocument.setDefaultFont(font)
|
||||
|
||||
# Set default text margins
|
||||
# Due to cursor visibility, a part of the margin must be
|
||||
|
||||
@@ -146,7 +146,7 @@ class GuiDocViewer(QTextBrowser):
|
||||
font = QFont()
|
||||
font.setFamily(CONFIG.textFont)
|
||||
font.setPointSize(CONFIG.textSize)
|
||||
self.setFont(font)
|
||||
self.document().setDefaultFont(font)
|
||||
|
||||
# Set the widget colours to match syntax theme
|
||||
mainPalette = self.palette()
|
||||
|
||||
Reference in New Issue
Block a user