Mercurial Repositories > eric / file comparison
comparison: Preferences/ConfigurationPages/EditorStylesPage.py
Preferences/ConfigurationPages/EditorStylesPage.py
- changeset 5733
- aed3e558407f
- parent 5706
- 59458b006d76
- child 6048
- 82ad8ec9548c
equal
deleted
inserted
replaced
| 5732:34041e56ec42 | 5733:aed3e558407f |
|---|---|
| 106 Preferences.getEditor("ColourizeSelText")) | 106 Preferences.getEditor("ColourizeSelText")) |
| 107 self.customSelColourCheckBox.setChecked( | 107 self.customSelColourCheckBox.setChecked( |
| 108 Preferences.getEditor("CustomSelectionColours")) | 108 Preferences.getEditor("CustomSelectionColours")) |
| 109 self.extentSelEolCheckBox.setChecked( | 109 self.extentSelEolCheckBox.setChecked( |
| 110 Preferences.getEditor("ExtendSelectionToEol")) | 110 Preferences.getEditor("ExtendSelectionToEol")) |
| 111 self.debugMarkerBackgroundCheckBox.setChecked( | |
| 112 Preferences.getEditor("LineMarkersBackground")) | |
| 111 | 113 |
| 112 self.initColour("CaretForeground", self.caretForegroundButton, | 114 self.initColour("CaretForeground", self.caretForegroundButton, |
| 113 Preferences.getEditorColour) | 115 Preferences.getEditorColour) |
| 114 self.initColour("CaretLineBackground", self.caretlineBackgroundButton, | 116 self.initColour("CaretLineBackground", self.caretlineBackgroundButton, |
| 115 Preferences.getEditorColour, hasAlpha=True) | 117 Preferences.getEditorColour, hasAlpha=True) |
| 116 self.initColour("SelectionForeground", self.selectionForegroundButton, | 118 self.initColour("SelectionForeground", self.selectionForegroundButton, |
| 117 Preferences.getEditorColour) | 119 Preferences.getEditorColour) |
| 118 self.initColour("SelectionBackground", self.selectionBackgroundButton, | 120 self.initColour("SelectionBackground", self.selectionBackgroundButton, |
| 121 Preferences.getEditorColour, hasAlpha=True) | |
| 122 self.initColour("CurrentMarker", self.currentLineMarkerButton, | |
| 123 Preferences.getEditorColour, hasAlpha=True) | |
| 124 self.initColour("ErrorMarker", self.errorMarkerButton, | |
| 119 Preferences.getEditorColour, hasAlpha=True) | 125 Preferences.getEditorColour, hasAlpha=True) |
| 120 self.initColour("MarginsForeground", self.marginsForegroundButton, | 126 self.initColour("MarginsForeground", self.marginsForegroundButton, |
| 121 Preferences.getEditorColour) | 127 Preferences.getEditorColour) |
| 122 self.initColour("MarginsBackground", self.marginsBackgroundButton, | 128 self.initColour("MarginsBackground", self.marginsBackgroundButton, |
| 123 Preferences.getEditorColour) | 129 Preferences.getEditorColour) |
| 290 "ColourizeSelText", self.colourizeSelTextCheckBox.isChecked()) | 296 "ColourizeSelText", self.colourizeSelTextCheckBox.isChecked()) |
| 291 Preferences.setEditor( | 297 Preferences.setEditor( |
| 292 "CustomSelectionColours", self.customSelColourCheckBox.isChecked()) | 298 "CustomSelectionColours", self.customSelColourCheckBox.isChecked()) |
| 293 Preferences.setEditor( | 299 Preferences.setEditor( |
| 294 "ExtendSelectionToEol", self.extentSelEolCheckBox.isChecked()) | 300 "ExtendSelectionToEol", self.extentSelEolCheckBox.isChecked()) |
| 301 Preferences.setEditor( | |
| 302 "LineMarkersBackground", | |
| 303 self.debugMarkerBackgroundCheckBox.isChecked()) | |
| 295 | 304 |
| 296 Preferences.setEditor( | 305 Preferences.setEditor( |
| 297 "CaretWidth", self.caretWidthSpinBox.value()) | 306 "CaretWidth", self.caretWidthSpinBox.value()) |
| 298 | 307 |
| 299 Preferences.setEditor( | 308 Preferences.setEditor( |
