Sun, 17 Jan 2016 13:04:48 +0100
Some enhancements of the configuration pages for the selection of fonts.
--- 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):