Some enhancements of the configuration pages for the selection of fonts.

Sun, 17 Jan 2016 13:04:48 +0100

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Sun, 17 Jan 2016 13:04:48 +0100
changeset 4674
41f716db325e
parent 4673
6fa2418f010c
child 4675
adb8882de5af

Some enhancements of the configuration pages for the selection of fonts.

Preferences/ConfigurationPages/EditorStylesPage.py file | annotate | diff | comparison | revisions
Preferences/ConfigurationPages/HelpAppearancePage.py file | annotate | diff | comparison | revisions
Preferences/ConfigurationPages/ShellPage.py file | annotate | diff | comparison | revisions
Preferences/ConfigurationPages/TemplatesPage.py file | annotate | diff | comparison | revisions
--- 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):
         """
--- a/Preferences/ConfigurationPages/HelpAppearancePage.py	Sun Jan 17 12:57:23 2016 +0100
+++ b/Preferences/ConfigurationPages/HelpAppearancePage.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 E5Gui.E5PathPicker import E5PathPickerModes
 
@@ -124,7 +125,8 @@
         Private method used to select the fixed-width font.
         """
         self.fixedFont = \
-            self.selectFont(self.fixedFontSample, self.fixedFont, True)
+            self.selectFont(self.fixedFontSample, self.fixedFont, True,
+            options=QFontDialog.MonospacedFonts)
     
 
 def create(dlg):
--- 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):
         """
--- a/Preferences/ConfigurationPages/TemplatesPage.py	Sun Jan 17 12:57:23 2016 +0100
+++ b/Preferences/ConfigurationPages/TemplatesPage.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_TemplatesPage import Ui_TemplatesPage
@@ -67,7 +68,8 @@
         Private method used to select the font to be used by the code editor.
         """
         self.editorFont = self.selectFont(
-            self.editorFontSample, self.editorFont)
+            self.editorFontSample, self.editorFont,
+            options=QFontDialog.MonospacedFonts)
     
 
 def create(dlg):

eric ide

mercurial