Mercurial Repositories > eric / file comparison
comparison: Preferences/ConfigurationPages/EditorStylesPage.py
Preferences/ConfigurationPages/EditorStylesPage.py
- changeset 2640
- dedcd4f987e0
- parent 2408
- dc3a7c9d8f6e
- child 2677
- 3d4277929fb3
- child 2905
- a1ae4b297bc0
equal
deleted
inserted
replaced
| 2634:8bd79dfb48a5 | 2640:dedcd4f987e0 |
|---|---|
| 75 self.defaultFontSample.setFont(self.defaultFont) | 75 self.defaultFontSample.setFont(self.defaultFont) |
| 76 self.monospacedFont = Preferences.getEditorOtherFonts("MonospacedFont") | 76 self.monospacedFont = Preferences.getEditorOtherFonts("MonospacedFont") |
| 77 self.monospacedFontSample.setFont(self.monospacedFont) | 77 self.monospacedFontSample.setFont(self.monospacedFont) |
| 78 self.monospacedCheckBox.setChecked( | 78 self.monospacedCheckBox.setChecked( |
| 79 Preferences.getEditor("UseMonospacedFont")) | 79 Preferences.getEditor("UseMonospacedFont")) |
| 80 self.linenowidthSlider.setValue( | |
| 81 Preferences.getEditor("LinenoWidth")) | |
| 82 self.linenoCheckBox.setChecked( | 80 self.linenoCheckBox.setChecked( |
| 83 Preferences.getEditor("LinenoMargin")) | 81 Preferences.getEditor("LinenoMargin")) |
| 84 self.foldingCheckBox.setChecked( | 82 self.foldingCheckBox.setChecked( |
| 85 Preferences.getEditor("FoldingMargin")) | 83 Preferences.getEditor("FoldingMargin")) |
| 86 self.unifiedMarginsCheckBox.setChecked( | 84 self.unifiedMarginsCheckBox.setChecked( |
| 204 Preferences.setEditorOtherFonts("DefaultFont", self.defaultFont) | 202 Preferences.setEditorOtherFonts("DefaultFont", self.defaultFont) |
| 205 Preferences.setEditorOtherFonts("MonospacedFont", self.monospacedFont) | 203 Preferences.setEditorOtherFonts("MonospacedFont", self.monospacedFont) |
| 206 Preferences.setEditor("UseMonospacedFont", | 204 Preferences.setEditor("UseMonospacedFont", |
| 207 self.monospacedCheckBox.isChecked()) | 205 self.monospacedCheckBox.isChecked()) |
| 208 | 206 |
| 209 Preferences.setEditor("LinenoWidth", | |
| 210 self.linenowidthSlider.value()) | |
| 211 Preferences.setEditor("LinenoMargin", | 207 Preferences.setEditor("LinenoMargin", |
| 212 self.linenoCheckBox.isChecked()) | 208 self.linenoCheckBox.isChecked()) |
| 213 Preferences.setEditor("FoldingMargin", | 209 Preferences.setEditor("FoldingMargin", |
| 214 self.foldingCheckBox.isChecked()) | 210 self.foldingCheckBox.isChecked()) |
| 215 Preferences.setEditor("UnifiedMargins", | 211 Preferences.setEditor("UnifiedMargins", |
