GitHub/Anki
1
0
Fork 0
mirror of https://github.com/ankitects/anki.git synced 2025-09-18 22:12:21 -04:00
Code Issues Projects Releases Packages 1 Wiki Activity Actions

Change default font in code editors (#2985)

Browse source 
* Change default font in code editors

* Fall back to system font
This commit is contained in:
Abdo 2024-02-02 10:03:29 +03:00 committed by GitHub
parent 54b1cc5689
commit 312d396505
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 7 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
qt/aqt/addons.py
View file

@ -1543,6 +1543,8 @@ class ConfigEditor(QDialog):
tooltip(tr.addons_restored_defaults(), parent=self)
def setupFonts(self) -> None:
font_mono = QFont("Consolas")
if not font_mono.exactMatch():
font_mono = QFontDatabase.systemFont(QFontDatabase.SystemFont.FixedFont)
font_mono.setPointSize(font_mono.pointSize() + 1)
self.form.editor.setFont(font_mono)

5
qt/aqt/clayout.py
View file

@ -267,7 +267,10 @@ class CardLayout(QDialog):
self.current_editor_index = 0
editor.setAcceptRichText(False)
editor.setFont(QFont("Courier"))
font = QFont("Consolas")
if not font.exactMatch():
font = QFontDatabase.systemFont(QFontDatabase.SystemFont.FixedFont)
editor.setFont(font)
tab_width = self.fontMetrics().horizontalAdvance(" " * 4)
editor.setTabStopDistance(tab_width)