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

Increase font size in debug console (#3743)

Browse source
This commit is contained in:
user1823 2025-01-20 09:17:33 +05:30 committed by GitHub
parent 1be94a8b04
commit 64ca90934b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
qt/aqt/debug_console.py
View file

@ -75,7 +75,7 @@ class DebugConsole(QDialog):
font = QFont("Consolas")
if not font.exactMatch():
font = QFontDatabase.systemFont(QFontDatabase.SystemFont.FixedFont)
font.setPointSize(self._text.font().pointSize())
font.setPointSize(self._text.font().pointSize() + 1)
self._text.setFont(font)
self._log.setFont(font)