Mercurial Repositories > eric / file comparison
comparison: Preferences/ConfigurationPages/ShellPage.py
Preferences/ConfigurationPages/ShellPage.py
- changeset 3010
- befeff46ec0f
- parent 2964
- 84b65fb9e780
- child 3025
- 67064c71df21
- child 3057
- 10516539f238
equal
deleted
inserted
replaced
| 3009:bf5ae5d7477d | 3010:befeff46ec0f |
|---|---|
| 75 Preferences.setShell("MarginsFont", self.marginsFont) | 75 Preferences.setShell("MarginsFont", self.marginsFont) |
| 76 | 76 |
| 77 @pyqtSlot() | 77 @pyqtSlot() |
| 78 def on_monospacedFontButton_clicked(self): | 78 def on_monospacedFontButton_clicked(self): |
| 79 """ | 79 """ |
| 80 Private method used to select the font to be used as the monospaced font. | 80 Private method used to select the font to be used as the monospaced |
| 81 font. | |
| 81 """ | 82 """ |
| 82 self.monospacedFont = \ | 83 self.monospacedFont = \ |
| 83 self.selectFont(self.monospacedFontSample, self.monospacedFont) | 84 self.selectFont(self.monospacedFontSample, self.monospacedFont) |
| 84 | 85 |
| 85 @pyqtSlot() | 86 @pyqtSlot() |
| 86 def on_linenumbersFontButton_clicked(self): | 87 def on_linenumbersFontButton_clicked(self): |
| 87 """ | 88 """ |
| 88 Private method used to select the font for the editor margins. | 89 Private method used to select the font for the editor margins. |
| 89 """ | 90 """ |
| 90 self.marginsFont = self.selectFont(self.marginsFontSample, self.marginsFont) | 91 self.marginsFont = self.selectFont(self.marginsFontSample, |
| 92 self.marginsFont) | |
| 91 | 93 |
| 92 def polishPage(self): | 94 def polishPage(self): |
| 93 """ | 95 """ |
| 94 Public slot to perform some polishing actions. | 96 Public slot to perform some polishing actions. |
| 95 """ | 97 """ |
