Mercurial Repositories > eric / file comparison
comparison: Preferences/ConfigurationPages/EditorStylesPage.py
Preferences/ConfigurationPages/EditorStylesPage.py
- branch
- Py2 comp.
- changeset 2677
- 3d4277929fb3
- parent 2525
- 8b507a9a2d40
- parent 2640
- dedcd4f987e0
- child 3056
- 9986ec0e559a
equal
deleted
inserted
replaced
| 2670:e60ea6cb8e11 | 2677:3d4277929fb3 |
|---|---|
| 77 self.defaultFontSample.setFont(self.defaultFont) | 77 self.defaultFontSample.setFont(self.defaultFont) |
| 78 self.monospacedFont = Preferences.getEditorOtherFonts("MonospacedFont") | 78 self.monospacedFont = Preferences.getEditorOtherFonts("MonospacedFont") |
| 79 self.monospacedFontSample.setFont(self.monospacedFont) | 79 self.monospacedFontSample.setFont(self.monospacedFont) |
| 80 self.monospacedCheckBox.setChecked( | 80 self.monospacedCheckBox.setChecked( |
| 81 Preferences.getEditor("UseMonospacedFont")) | 81 Preferences.getEditor("UseMonospacedFont")) |
| 82 self.linenowidthSlider.setValue( | |
| 83 Preferences.getEditor("LinenoWidth")) | |
| 84 self.linenoCheckBox.setChecked( | 82 self.linenoCheckBox.setChecked( |
| 85 Preferences.getEditor("LinenoMargin")) | 83 Preferences.getEditor("LinenoMargin")) |
| 86 self.foldingCheckBox.setChecked( | 84 self.foldingCheckBox.setChecked( |
| 87 Preferences.getEditor("FoldingMargin")) | 85 Preferences.getEditor("FoldingMargin")) |
| 88 self.unifiedMarginsCheckBox.setChecked( | 86 self.unifiedMarginsCheckBox.setChecked( |
| 206 Preferences.setEditorOtherFonts("DefaultFont", self.defaultFont) | 204 Preferences.setEditorOtherFonts("DefaultFont", self.defaultFont) |
| 207 Preferences.setEditorOtherFonts("MonospacedFont", self.monospacedFont) | 205 Preferences.setEditorOtherFonts("MonospacedFont", self.monospacedFont) |
| 208 Preferences.setEditor("UseMonospacedFont", | 206 Preferences.setEditor("UseMonospacedFont", |
| 209 self.monospacedCheckBox.isChecked()) | 207 self.monospacedCheckBox.isChecked()) |
| 210 | 208 |
| 211 Preferences.setEditor("LinenoWidth", | |
| 212 self.linenowidthSlider.value()) | |
| 213 Preferences.setEditor("LinenoMargin", | 209 Preferences.setEditor("LinenoMargin", |
| 214 self.linenoCheckBox.isChecked()) | 210 self.linenoCheckBox.isChecked()) |
| 215 Preferences.setEditor("FoldingMargin", | 211 Preferences.setEditor("FoldingMargin", |
| 216 self.foldingCheckBox.isChecked()) | 212 self.foldingCheckBox.isChecked()) |
| 217 Preferences.setEditor("UnifiedMargins", | 213 Preferences.setEditor("UnifiedMargins", |
