Mercurial Repositories > eric / file comparison
comparison: Preferences/ConfigurationPages/EditorStylesPage.py
Preferences/ConfigurationPages/EditorStylesPage.py
- changeset 6648
- c09e6c6006eb
- parent 6645
- ad476851d7e0
- child 6842
- c83dcb7c6147
equal
deleted
inserted
replaced
| 6645:ad476851d7e0 | 6648:c09e6c6006eb |
|---|---|
| 255 self.conflictMarkerMapButton, | 255 self.conflictMarkerMapButton, |
| 256 Preferences.getEditorColour) | 256 Preferences.getEditorColour) |
| 257 self.initColour("MarkerMapBackground", | 257 self.initColour("MarkerMapBackground", |
| 258 self.markerMapBackgroundButton, | 258 self.markerMapBackgroundButton, |
| 259 Preferences.getEditorColour) | 259 Preferences.getEditorColour) |
| 260 self.changesMarkerCheckBox.setChecked( | |
| 261 Preferences.getEditor("ShowMarkerChanges")) | |
| 262 self.coverageMarkerCheckBox.setChecked( | |
| 263 Preferences.getEditor("ShowMarkerCoverage")) | |
| 264 self.searchMarkerCheckBox.setChecked( | |
| 265 Preferences.getEditor("ShowMarkerSearch")) | |
| 260 | 266 |
| 261 self.indentguidesCheckBox.setChecked( | 267 self.indentguidesCheckBox.setChecked( |
| 262 Preferences.getEditor("IndentationGuides")) | 268 Preferences.getEditor("IndentationGuides")) |
| 263 self.initColour("IndentationGuidesBackground", | 269 self.initColour("IndentationGuidesBackground", |
| 264 self.indentationGuidesBackgroundButton, | 270 self.indentationGuidesBackgroundButton, |
| 353 self.indentguidesCheckBox.isChecked()) | 359 self.indentguidesCheckBox.isChecked()) |
| 354 | 360 |
| 355 Preferences.setEditor( | 361 Preferences.setEditor( |
| 356 "ShowMarkerMapOnRight", | 362 "ShowMarkerMapOnRight", |
| 357 self.markerMapRightCheckBox.isChecked()) | 363 self.markerMapRightCheckBox.isChecked()) |
| 364 Preferences.setEditor( | |
| 365 "ShowMarkerChanges", | |
| 366 self.changesMarkerCheckBox.isChecked()) | |
| 367 Preferences.setEditor( | |
| 368 "ShowMarkerCoverage", | |
| 369 self.coverageMarkerCheckBox.isChecked()) | |
| 370 Preferences.setEditor( | |
| 371 "ShowMarkerSearch", | |
| 372 self.searchMarkerCheckBox.isChecked()) | |
| 358 | 373 |
| 359 self.saveColours(Preferences.setEditorColour) | 374 self.saveColours(Preferences.setEditorColour) |
| 360 for key in list(self.editorColours.keys()): | 375 for key in list(self.editorColours.keys()): |
| 361 Preferences.setEditorColour(key, self.editorColours[key]) | 376 Preferences.setEditorColour(key, self.editorColours[key]) |
| 362 | 377 |
