Preferences/ConfigurationPages/ShellPage.py

changeset 4674
41f716db325e
parent 4631
5c1a96925da4
child 4676
c65b401b775e
equal deleted inserted replaced
4673:6fa2418f010c 4674:41f716db325e
8 """ 8 """
9 9
10 from __future__ import unicode_literals 10 from __future__ import unicode_literals
11 11
12 from PyQt5.QtCore import pyqtSlot 12 from PyQt5.QtCore import pyqtSlot
13 from PyQt5.QtWidgets import QFontDialog
13 14
14 from .ConfigurationPageBase import ConfigurationPageBase 15 from .ConfigurationPageBase import ConfigurationPageBase
15 from .Ui_ShellPage import Ui_ShellPage 16 from .Ui_ShellPage import Ui_ShellPage
16 17
17 import Preferences 18 import Preferences
88 def on_monospacedFontButton_clicked(self): 89 def on_monospacedFontButton_clicked(self):
89 """ 90 """
90 Private method used to select the font to be used as the monospaced 91 Private method used to select the font to be used as the monospaced
91 font. 92 font.
92 """ 93 """
93 self.monospacedFont = \ 94 self.monospacedFont = self.selectFont(
94 self.selectFont(self.monospacedFontSample, self.monospacedFont) 95 self.monospacedFontSample, self.monospacedFont,
96 options=QFontDialog.MonospacedFonts)
95 97
96 @pyqtSlot() 98 @pyqtSlot()
97 def on_linenumbersFontButton_clicked(self): 99 def on_linenumbersFontButton_clicked(self):
98 """ 100 """
99 Private method used to select the font for the editor margins. 101 Private method used to select the font for the editor margins.
100 """ 102 """
101 self.marginsFont = self.selectFont(self.marginsFontSample, 103 self.marginsFont = self.selectFont(
102 self.marginsFont) 104 self.marginsFontSample, self.marginsFont,
105 options=QFontDialog.MonospacedFonts)
103 106
104 def polishPage(self): 107 def polishPage(self):
105 """ 108 """
106 Public slot to perform some polishing actions. 109 Public slot to perform some polishing actions.
107 """ 110 """

eric ide

mercurial