Mercurial Repositories > eric / file comparison
comparison: Preferences/ConfigurationPages/EditorSearchPage.py
Preferences/ConfigurationPages/EditorSearchPage.py
- changeset 7
- c679fb30c8f3
- parent 0
- de9c2efb9d02
- child 12
- 1d8dd9706f46
equal
deleted
inserted
replaced
| 6:52e8c820d0dd | 7:c679fb30c8f3 |
|---|---|
| 47 def save(self): | 47 def save(self): |
| 48 """ | 48 """ |
| 49 Public slot to save the Editor Search configuration. | 49 Public slot to save the Editor Search configuration. |
| 50 """ | 50 """ |
| 51 Preferences.setEditor("SearchMarkersEnabled", | 51 Preferences.setEditor("SearchMarkersEnabled", |
| 52 int(self.searchMarkersEnabledCheckBox.isChecked())) | 52 self.searchMarkersEnabledCheckBox.isChecked()) |
| 53 Preferences.setEditor("QuickSearchMarkersEnabled", | 53 Preferences.setEditor("QuickSearchMarkersEnabled", |
| 54 int(self.quicksearchMarkersEnabledCheckBox.isChecked())) | 54 self.quicksearchMarkersEnabledCheckBox.isChecked()) |
| 55 Preferences.setEditor("MarkOccurrencesEnabled", | 55 Preferences.setEditor("MarkOccurrencesEnabled", |
| 56 int(self.occurrencesMarkersEnabledCheckBox.isChecked())) | 56 self.occurrencesMarkersEnabledCheckBox.isChecked()) |
| 57 | 57 |
| 58 Preferences.setEditor("MarkOccurrencesTimeout", | 58 Preferences.setEditor("MarkOccurrencesTimeout", |
| 59 self.markOccurrencesTimeoutSpinBox.value()) | 59 self.markOccurrencesTimeoutSpinBox.value()) |
| 60 | 60 |
| 61 for key in self.editorColours.keys(): | 61 for key in self.editorColours.keys(): |
