diff -r 6fa2418f010c -r 41f716db325e Preferences/ConfigurationPages/EditorStylesPage.py
--- a/Preferences/ConfigurationPages/EditorStylesPage.py Sun Jan 17 12:57:23 2016 +0100
+++ b/Preferences/ConfigurationPages/EditorStylesPage.py Sun Jan 17 13:04:48 2016 +0100
@@ -11,7 +11,7 @@
from PyQt5.QtCore import pyqtSlot
from PyQt5.QtGui import QColor, QPalette
-from PyQt5.QtWidgets import QColorDialog
+from PyQt5.QtWidgets import QColorDialog, QFontDialog
from PyQt5.Qsci import QsciScintilla
from .ConfigurationPageBase import ConfigurationPageBase
@@ -347,7 +347,8 @@
Private method used to select the font for the editor margins.
"""
self.marginsFont = self.selectFont(
- self.marginsFontSample, self.marginsFont)
+ self.marginsFontSample, self.marginsFont,
+ options=QFontDialog.MonospacedFonts)
@pyqtSlot()
def on_defaultFontButton_clicked(self):
@@ -364,7 +365,8 @@
font.
"""
self.monospacedFont = self.selectFont(
- self.monospacedFontSample, self.monospacedFont)
+ self.monospacedFontSample, self.monospacedFont,
+ options=QFontDialog.MonospacedFonts)
def polishPage(self):
"""
