Mercurial Repositories > eric / file comparison
comparison: src/eric7/Preferences/ConfigurationPages/EditorSearchPage.py
src/eric7/Preferences/ConfigurationPages/EditorSearchPage.py
- branch
- eric7
- changeset 9931
- e6e01a10c3a1
- parent 9653
- e67609152c5e
- child 9938
- b8005dd4fc9b
equal
deleted
inserted
replaced
| 9930:4d82d809e816 | 9931:e6e01a10c3a1 |
|---|---|
| 27 self.setObjectName("EditorSearchPage") | 27 self.setObjectName("EditorSearchPage") |
| 28 | 28 |
| 29 self.editorColours = {} | 29 self.editorColours = {} |
| 30 | 30 |
| 31 # set initial values | 31 # set initial values |
| 32 self.quicksearchCheckBox.setChecked(Preferences.getEditor("QuickSearchEnabled")) | |
| 32 self.searchMarkersEnabledCheckBox.setChecked( | 33 self.searchMarkersEnabledCheckBox.setChecked( |
| 33 Preferences.getEditor("SearchMarkersEnabled") | 34 Preferences.getEditor("SearchMarkersEnabled") |
| 34 ) | 35 ) |
| 35 self.quicksearchMarkersEnabledCheckBox.setChecked( | 36 self.quicksearchMarkersEnabledCheckBox.setChecked( |
| 36 Preferences.getEditor("QuickSearchMarkersEnabled") | 37 Preferences.getEditor("QuickSearchMarkersEnabled") |
| 58 def save(self): | 59 def save(self): |
| 59 """ | 60 """ |
| 60 Public slot to save the Editor Search configuration. | 61 Public slot to save the Editor Search configuration. |
| 61 """ | 62 """ |
| 62 Preferences.setEditor( | 63 Preferences.setEditor( |
| 64 "QuickSearchEnabled", self.quicksearchCheckBox.isChecked() | |
| 65 ) | |
| 66 Preferences.setEditor( | |
| 63 "SearchMarkersEnabled", self.searchMarkersEnabledCheckBox.isChecked() | 67 "SearchMarkersEnabled", self.searchMarkersEnabledCheckBox.isChecked() |
| 64 ) | 68 ) |
| 65 Preferences.setEditor( | 69 Preferences.setEditor( |
| 66 "QuickSearchMarkersEnabled", | 70 "QuickSearchMarkersEnabled", |
| 67 self.quicksearchMarkersEnabledCheckBox.isChecked(), | 71 self.quicksearchMarkersEnabledCheckBox.isChecked(), |
