Mercurial Repositories > eric / file comparison
comparison: src/eric7/Preferences/ConfigurationPages/EditorSearchPage.py
src/eric7/Preferences/ConfigurationPages/EditorSearchPage.py
- branch
- eric7
- changeset 9221
- bf71ee032bb4
- parent 9209
- b99e7fd55fd3
- child 9413
- 80c06d472826
equal
deleted
inserted
replaced
| 9220:e9e7eca7efee | 9221:bf71ee032bb4 |
|---|---|
| 15 | 15 |
| 16 class EditorSearchPage(ConfigurationPageBase, Ui_EditorSearchPage): | 16 class EditorSearchPage(ConfigurationPageBase, Ui_EditorSearchPage): |
| 17 """ | 17 """ |
| 18 Class implementing the Editor Search configuration page. | 18 Class implementing the Editor Search configuration page. |
| 19 """ | 19 """ |
| 20 | |
| 20 def __init__(self): | 21 def __init__(self): |
| 21 """ | 22 """ |
| 22 Constructor | 23 Constructor |
| 23 """ | 24 """ |
| 24 super().__init__() | 25 super().__init__() |
| 25 self.setupUi(self) | 26 self.setupUi(self) |
| 26 self.setObjectName("EditorSearchPage") | 27 self.setObjectName("EditorSearchPage") |
| 27 | 28 |
| 28 self.editorColours = {} | 29 self.editorColours = {} |
| 29 | 30 |
| 30 # set initial values | 31 # set initial values |
| 31 self.searchMarkersEnabledCheckBox.setChecked( | 32 self.searchMarkersEnabledCheckBox.setChecked( |
| 32 Preferences.getEditor("SearchMarkersEnabled")) | 33 Preferences.getEditor("SearchMarkersEnabled") |
| 34 ) | |
| 33 self.quicksearchMarkersEnabledCheckBox.setChecked( | 35 self.quicksearchMarkersEnabledCheckBox.setChecked( |
| 34 Preferences.getEditor("QuickSearchMarkersEnabled")) | 36 Preferences.getEditor("QuickSearchMarkersEnabled") |
| 37 ) | |
| 35 self.occurrencesMarkersEnabledCheckBox.setChecked( | 38 self.occurrencesMarkersEnabledCheckBox.setChecked( |
| 36 Preferences.getEditor("MarkOccurrencesEnabled")) | 39 Preferences.getEditor("MarkOccurrencesEnabled") |
| 37 | 40 ) |
| 41 | |
| 38 self.markOccurrencesTimeoutSpinBox.setValue( | 42 self.markOccurrencesTimeoutSpinBox.setValue( |
| 39 Preferences.getEditor("MarkOccurrencesTimeout")) | 43 Preferences.getEditor("MarkOccurrencesTimeout") |
| 40 | 44 ) |
| 45 | |
| 41 if Preferences.getEditor("SearchRegexpMode") == 0: | 46 if Preferences.getEditor("SearchRegexpMode") == 0: |
| 42 self.regexpPosixButton.setChecked(True) | 47 self.regexpPosixButton.setChecked(True) |
| 43 else: | 48 else: |
| 44 self.regexpCxx11Button.setChecked(True) | 49 self.regexpCxx11Button.setChecked(True) |
| 45 | 50 |
| 46 self.initColour( | 51 self.initColour( |
| 47 "SearchMarkers", self.searchMarkerButton, | 52 "SearchMarkers", |
| 48 Preferences.getEditorColour, hasAlpha=True) | 53 self.searchMarkerButton, |
| 49 | 54 Preferences.getEditorColour, |
| 55 hasAlpha=True, | |
| 56 ) | |
| 57 | |
| 50 def save(self): | 58 def save(self): |
| 51 """ | 59 """ |
| 52 Public slot to save the Editor Search configuration. | 60 Public slot to save the Editor Search configuration. |
| 53 """ | 61 """ |
| 54 Preferences.setEditor( | 62 Preferences.setEditor( |
| 55 "SearchMarkersEnabled", | 63 "SearchMarkersEnabled", self.searchMarkersEnabledCheckBox.isChecked() |
| 56 self.searchMarkersEnabledCheckBox.isChecked()) | 64 ) |
| 57 Preferences.setEditor( | 65 Preferences.setEditor( |
| 58 "QuickSearchMarkersEnabled", | 66 "QuickSearchMarkersEnabled", |
| 59 self.quicksearchMarkersEnabledCheckBox.isChecked()) | 67 self.quicksearchMarkersEnabledCheckBox.isChecked(), |
| 68 ) | |
| 60 Preferences.setEditor( | 69 Preferences.setEditor( |
| 61 "MarkOccurrencesEnabled", | 70 "MarkOccurrencesEnabled", self.occurrencesMarkersEnabledCheckBox.isChecked() |
| 62 self.occurrencesMarkersEnabledCheckBox.isChecked()) | 71 ) |
| 63 | 72 |
| 64 Preferences.setEditor( | 73 Preferences.setEditor( |
| 65 "MarkOccurrencesTimeout", | 74 "MarkOccurrencesTimeout", self.markOccurrencesTimeoutSpinBox.value() |
| 66 self.markOccurrencesTimeoutSpinBox.value()) | 75 ) |
| 67 | 76 |
| 68 mode = 0 if self.regexpPosixButton.isChecked() else 1 | 77 mode = 0 if self.regexpPosixButton.isChecked() else 1 |
| 69 Preferences.setEditor( | 78 Preferences.setEditor("SearchRegexpMode", mode) |
| 70 "SearchRegexpMode", mode) | 79 |
| 71 | |
| 72 self.saveColours(Preferences.setEditorColour) | 80 self.saveColours(Preferences.setEditorColour) |
| 73 | 81 |
| 74 | 82 |
| 75 def create(dlg): | 83 def create(dlg): |
| 76 """ | 84 """ |
| 77 Module function to create the configuration page. | 85 Module function to create the configuration page. |
| 78 | 86 |
| 79 @param dlg reference to the configuration dialog | 87 @param dlg reference to the configuration dialog |
| 80 @return reference to the instantiated page (ConfigurationPageBase) | 88 @return reference to the instantiated page (ConfigurationPageBase) |
| 81 """ | 89 """ |
| 82 page = EditorSearchPage() | 90 page = EditorSearchPage() |
| 83 return page | 91 return page |
