77 Preferences.setShell("MarginsFont", self.marginsFont) |
77 Preferences.setShell("MarginsFont", self.marginsFont) |
78 |
78 |
79 @pyqtSlot() |
79 @pyqtSlot() |
80 def on_monospacedFontButton_clicked(self): |
80 def on_monospacedFontButton_clicked(self): |
81 """ |
81 """ |
82 Private method used to select the font to be used as the monospaced font. |
82 Private method used to select the font to be used as the monospaced |
|
83 font. |
83 """ |
84 """ |
84 self.monospacedFont = \ |
85 self.monospacedFont = \ |
85 self.selectFont(self.monospacedFontSample, self.monospacedFont) |
86 self.selectFont(self.monospacedFontSample, self.monospacedFont) |
86 |
87 |
87 @pyqtSlot() |
88 @pyqtSlot() |
88 def on_linenumbersFontButton_clicked(self): |
89 def on_linenumbersFontButton_clicked(self): |
89 """ |
90 """ |
90 Private method used to select the font for the editor margins. |
91 Private method used to select the font for the editor margins. |
91 """ |
92 """ |
92 self.marginsFont = self.selectFont(self.marginsFontSample, self.marginsFont) |
93 self.marginsFont = self.selectFont(self.marginsFontSample, |
|
94 self.marginsFont) |
93 |
95 |
94 def polishPage(self): |
96 def polishPage(self): |
95 """ |
97 """ |
96 Public slot to perform some polishing actions. |
98 Public slot to perform some polishing actions. |
97 """ |
99 """ |