Mercurial Repositories > eric / file comparison
comparison: src/eric7/Preferences/ConfigurationPages/EditorSearchPage.py
src/eric7/Preferences/ConfigurationPages/EditorSearchPage.py
- branch
- eric7
- changeset 10429
- 643989a1e2bd
- parent 10428
- a071d4065202
- child 10439
- 21c28b0f9e41
equal
deleted
inserted
replaced
| 10428:a071d4065202 | 10429:643989a1e2bd |
|---|---|
| 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 # Quicksearch | |
| 32 self.quicksearchCheckBox.setChecked(Preferences.getEditor("QuickSearchEnabled")) | 33 self.quicksearchCheckBox.setChecked(Preferences.getEditor("QuickSearchEnabled")) |
| 34 self.quicksearchMarkersEnabledCheckBox.setChecked( | |
| 35 Preferences.getEditor("QuickSearchMarkersEnabled") | |
| 36 ) | |
| 37 self.quicksearchMarkOccurrencesTimeoutSpinBox.setValue( | |
| 38 Preferences.getEditor("QuickSearchMarkOccurrencesTimeout") | |
| 39 ) | |
| 40 | |
| 41 # Search markers | |
| 33 self.searchMarkersEnabledCheckBox.setChecked( | 42 self.searchMarkersEnabledCheckBox.setChecked( |
| 34 Preferences.getEditor("SearchMarkersEnabled") | 43 Preferences.getEditor("SearchMarkersEnabled") |
| 35 ) | |
| 36 self.quicksearchMarkersEnabledCheckBox.setChecked( | |
| 37 Preferences.getEditor("QuickSearchMarkersEnabled") | |
| 38 ) | 44 ) |
| 39 self.occurrencesMarkersEnabledCheckBox.setChecked( | 45 self.occurrencesMarkersEnabledCheckBox.setChecked( |
| 40 Preferences.getEditor("MarkOccurrencesEnabled") | 46 Preferences.getEditor("MarkOccurrencesEnabled") |
| 41 ) | 47 ) |
| 42 | |
| 43 self.markOccurrencesTimeoutSpinBox.setValue( | 48 self.markOccurrencesTimeoutSpinBox.setValue( |
| 44 Preferences.getEditor("MarkOccurrencesTimeout") | 49 Preferences.getEditor("MarkOccurrencesTimeout") |
| 45 ) | 50 ) |
| 46 | 51 |
| 47 if Preferences.getEditor("SearchRegexpMode") == 0: | 52 if Preferences.getEditor("SearchRegexpMode") == 0: |
| 79 | 84 |
| 80 def save(self): | 85 def save(self): |
| 81 """ | 86 """ |
| 82 Public slot to save the Editor Search configuration. | 87 Public slot to save the Editor Search configuration. |
| 83 """ | 88 """ |
| 89 # Quicksearch | |
| 84 Preferences.setEditor( | 90 Preferences.setEditor( |
| 85 "QuickSearchEnabled", self.quicksearchCheckBox.isChecked() | 91 "QuickSearchEnabled", self.quicksearchCheckBox.isChecked() |
| 86 ) | |
| 87 Preferences.setEditor( | |
| 88 "SearchMarkersEnabled", self.searchMarkersEnabledCheckBox.isChecked() | |
| 89 ) | 92 ) |
| 90 Preferences.setEditor( | 93 Preferences.setEditor( |
| 91 "QuickSearchMarkersEnabled", | 94 "QuickSearchMarkersEnabled", |
| 92 self.quicksearchMarkersEnabledCheckBox.isChecked(), | 95 self.quicksearchMarkersEnabledCheckBox.isChecked(), |
| 93 ) | 96 ) |
| 94 Preferences.setEditor( | 97 Preferences.setEditor( |
| 98 "QuickSearchMarkOccurrencesTimeout", | |
| 99 self.quicksearchMarkOccurrencesTimeoutSpinBox.value(), | |
| 100 ) | |
| 101 | |
| 102 # Search markers | |
| 103 Preferences.setEditor( | |
| 104 "SearchMarkersEnabled", self.searchMarkersEnabledCheckBox.isChecked() | |
| 105 ) | |
| 106 Preferences.setEditor( | |
| 95 "MarkOccurrencesEnabled", self.occurrencesMarkersEnabledCheckBox.isChecked() | 107 "MarkOccurrencesEnabled", self.occurrencesMarkersEnabledCheckBox.isChecked() |
| 96 ) | 108 ) |
| 97 | |
| 98 Preferences.setEditor( | 109 Preferences.setEditor( |
| 99 "MarkOccurrencesTimeout", self.markOccurrencesTimeoutSpinBox.value() | 110 "MarkOccurrencesTimeout", self.markOccurrencesTimeoutSpinBox.value() |
| 100 ) | 111 ) |
| 101 | 112 |
| 102 mode = 0 if self.regexpPosixButton.isChecked() else 1 | 113 mode = 0 if self.regexpPosixButton.isChecked() else 1 |
