Mercurial Repositories > eric / file comparison
comparison: Preferences/ConfigurationPages/EditorSearchPage.py
Preferences/ConfigurationPages/EditorSearchPage.py
- branch
- Py2 comp.
- changeset 3058
- 0a02c433f52d
- parent 3057
- 10516539f238
- parent 3025
- 67064c71df21
- child 3145
- a9de05d4a22f
equal
deleted
inserted
replaced
| 3057:10516539f238 | 3058:0a02c433f52d |
|---|---|
| 38 Preferences.getEditor("MarkOccurrencesEnabled")) | 38 Preferences.getEditor("MarkOccurrencesEnabled")) |
| 39 | 39 |
| 40 self.markOccurrencesTimeoutSpinBox.setValue( | 40 self.markOccurrencesTimeoutSpinBox.setValue( |
| 41 Preferences.getEditor("MarkOccurrencesTimeout")) | 41 Preferences.getEditor("MarkOccurrencesTimeout")) |
| 42 | 42 |
| 43 self.initColour("SearchMarkers", self.searchMarkerButton, | 43 self.initColour( |
| 44 "SearchMarkers", self.searchMarkerButton, | |
| 44 Preferences.getEditorColour, hasAlpha=True) | 45 Preferences.getEditorColour, hasAlpha=True) |
| 45 | 46 |
| 46 def save(self): | 47 def save(self): |
| 47 """ | 48 """ |
| 48 Public slot to save the Editor Search configuration. | 49 Public slot to save the Editor Search configuration. |
| 49 """ | 50 """ |
| 50 Preferences.setEditor("SearchMarkersEnabled", | 51 Preferences.setEditor( |
| 52 "SearchMarkersEnabled", | |
| 51 self.searchMarkersEnabledCheckBox.isChecked()) | 53 self.searchMarkersEnabledCheckBox.isChecked()) |
| 52 Preferences.setEditor("QuickSearchMarkersEnabled", | 54 Preferences.setEditor( |
| 55 "QuickSearchMarkersEnabled", | |
| 53 self.quicksearchMarkersEnabledCheckBox.isChecked()) | 56 self.quicksearchMarkersEnabledCheckBox.isChecked()) |
| 54 Preferences.setEditor("MarkOccurrencesEnabled", | 57 Preferences.setEditor( |
| 58 "MarkOccurrencesEnabled", | |
| 55 self.occurrencesMarkersEnabledCheckBox.isChecked()) | 59 self.occurrencesMarkersEnabledCheckBox.isChecked()) |
| 56 | 60 |
| 57 Preferences.setEditor("MarkOccurrencesTimeout", | 61 Preferences.setEditor( |
| 62 "MarkOccurrencesTimeout", | |
| 58 self.markOccurrencesTimeoutSpinBox.value()) | 63 self.markOccurrencesTimeoutSpinBox.value()) |
| 59 | 64 |
| 60 self.saveColours(Preferences.setEditorColour) | 65 self.saveColours(Preferences.setEditorColour) |
| 61 | 66 |
| 62 | 67 |
