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