diff -r 6fa2418f010c -r 41f716db325e Preferences/ConfigurationPages/ShellPage.py
--- a/Preferences/ConfigurationPages/ShellPage.py Sun Jan 17 12:57:23 2016 +0100
+++ b/Preferences/ConfigurationPages/ShellPage.py Sun Jan 17 13:04:48 2016 +0100
@@ -10,6 +10,7 @@
from __future__ import unicode_literals
from PyQt5.QtCore import pyqtSlot
+from PyQt5.QtWidgets import QFontDialog
from .ConfigurationPageBase import ConfigurationPageBase
from .Ui_ShellPage import Ui_ShellPage
@@ -90,16 +91,18 @@
Private method used to select the font to be used as the monospaced
font.
"""
- self.monospacedFont = \
- self.selectFont(self.monospacedFontSample, self.monospacedFont)
+ self.monospacedFont = self.selectFont(
+ self.monospacedFontSample, self.monospacedFont,
+ options=QFontDialog.MonospacedFonts)
@pyqtSlot()
def on_linenumbersFontButton_clicked(self):
"""
Private method used to select the font for the editor margins.
"""
- self.marginsFont = self.selectFont(self.marginsFontSample,
- self.marginsFont)
+ self.marginsFont = self.selectFont(
+ self.marginsFontSample, self.marginsFont,
+ options=QFontDialog.MonospacedFonts)
def polishPage(self):
"""
