Preferences/ConfigurationPages/ShellPage.py

changeset 4674
41f716db325e
parent 4631
5c1a96925da4
child 4676
c65b401b775e
--- 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):
         """

eric ide

mercurial