Don't hardcode font family for python editor line numbers

qgis · Oct 3, 2020 · 5ed37da · 5ed37da
1 parent ad946d4
commit 5ed37da
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/python/console/console_base.py b/python/console/console_base.py
@@ -40,7 +40,6 @@ def __init__(self, parent=None):
         # 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")

diff --git a/src/gui/qgscodeeditor.cpp b/src/gui/qgscodeeditor.cpp
@@ -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" ) );