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 """ |