sharpetronics/QGIS
1
0
Fork 0
mirror of https://github.com/qgis/QGIS.git synced 2025-10-15 00:02:52 -04:00
Code Issues Packages Projects Releases Wiki Activity

Don't hardcode font family for python editor line numbers

Browse Source
This commit is contained in:
Nyall Dawson 2020-10-03 21:04:31 +10:00
parent ad946d45c8
commit 5ed37da0b8
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
python/console/console_base.py
View File

@ -40,7 +40,6 @@ class QgsPythonConsoleBase(QgsCodeEditorPython):
# Set the default font
font = QFontDatabase.systemFont(QFontDatabase.FixedFont)
self.setFont(font)
self.setMarginsFont(font)
# Margin 0 is used for line numbers (editor and output)
self.setMarginWidth(0, "00000")

3
src/gui/qgscodeeditor.cpp
View File

@ -174,7 +174,8 @@ void QgsCodeEditor::setMarginVisible( bool margin )
mMargin = margin;
if ( margin )
{
QFont marginFont( QStringLiteral( "Courier" ), 10 );
QFont marginFont = getMonospaceFont();
marginFont.setPointSize( 10 );
setMarginLineNumbers( 1, true );
setMarginsFont( marginFont );
setMarginWidth( 1, QStringLiteral( "00000" ) );