Mercurial Repositories > eric / file comparison
comparison: Preferences/ConfigurationPages/EditorSearchPage.py
Preferences/ConfigurationPages/EditorSearchPage.py
- changeset 945
- 8cd4d08fa9f6
- parent 942
- 1d2a6b8509c6
- child 1131
- 7781e396c903
equal
deleted
inserted
replaced
| 944:1b59c4ba121e | 945:8cd4d08fa9f6 |
|---|---|
| 11 | 11 |
| 12 from .ConfigurationPageBase import ConfigurationPageBase | 12 from .ConfigurationPageBase import ConfigurationPageBase |
| 13 from .Ui_EditorSearchPage import Ui_EditorSearchPage | 13 from .Ui_EditorSearchPage import Ui_EditorSearchPage |
| 14 | 14 |
| 15 import Preferences | 15 import Preferences |
| 16 | |
| 16 | 17 |
| 17 class EditorSearchPage(ConfigurationPageBase, Ui_EditorSearchPage): | 18 class EditorSearchPage(ConfigurationPageBase, Ui_EditorSearchPage): |
| 18 """ | 19 """ |
| 19 Class implementing the Editor Search configuration page. | 20 Class implementing the Editor Search configuration page. |
| 20 """ | 21 """ |
| 38 | 39 |
| 39 self.markOccurrencesTimeoutSpinBox.setValue( | 40 self.markOccurrencesTimeoutSpinBox.setValue( |
| 40 Preferences.getEditor("MarkOccurrencesTimeout")) | 41 Preferences.getEditor("MarkOccurrencesTimeout")) |
| 41 | 42 |
| 42 self.editorColours["SearchMarkers"] = \ | 43 self.editorColours["SearchMarkers"] = \ |
| 43 self.initColour("SearchMarkers", self.searchMarkerButton, | 44 self.initColour("SearchMarkers", self.searchMarkerButton, |
| 44 Preferences.getEditorColour) | 45 Preferences.getEditorColour) |
| 45 | 46 |
| 46 def save(self): | 47 def save(self): |
| 47 """ | 48 """ |
| 48 Public slot to save the Editor Search configuration. | 49 Public slot to save the Editor Search configuration. |
| 49 """ | 50 """ |
| 50 Preferences.setEditor("SearchMarkersEnabled", | 51 Preferences.setEditor("SearchMarkersEnabled", |
| 51 self.searchMarkersEnabledCheckBox.isChecked()) | 52 self.searchMarkersEnabledCheckBox.isChecked()) |
| 52 Preferences.setEditor("QuickSearchMarkersEnabled", | 53 Preferences.setEditor("QuickSearchMarkersEnabled", |
| 53 self.quicksearchMarkersEnabledCheckBox.isChecked()) | 54 self.quicksearchMarkersEnabledCheckBox.isChecked()) |
| 54 Preferences.setEditor("MarkOccurrencesEnabled", | 55 Preferences.setEditor("MarkOccurrencesEnabled", |
| 55 self.occurrencesMarkersEnabledCheckBox.isChecked()) | 56 self.occurrencesMarkersEnabledCheckBox.isChecked()) |
| 56 | 57 |
| 57 Preferences.setEditor("MarkOccurrencesTimeout", | 58 Preferences.setEditor("MarkOccurrencesTimeout", |
| 58 self.markOccurrencesTimeoutSpinBox.value()) | 59 self.markOccurrencesTimeoutSpinBox.value()) |
| 59 | 60 |
| 60 for key in list(self.editorColours.keys()): | 61 for key in list(self.editorColours.keys()): |
| 61 Preferences.setEditorColour(key, self.editorColours[key]) | 62 Preferences.setEditorColour(key, self.editorColours[key]) |
| 62 | 63 |
| 64 def on_searchMarkerButton_clicked(self): | 65 def on_searchMarkerButton_clicked(self): |
| 65 """ | 66 """ |
| 66 Private slot to set the colour of the search markers. | 67 Private slot to set the colour of the search markers. |
| 67 """ | 68 """ |
| 68 self.editorColours["SearchMarkers"] = \ | 69 self.editorColours["SearchMarkers"] = \ |
| 69 self.selectColour(self.searchMarkerButton, | 70 self.selectColour(self.searchMarkerButton, |
| 70 self.editorColours["SearchMarkers"], True) | 71 self.editorColours["SearchMarkers"], True) |
| 72 | |
| 71 | 73 |
| 72 def create(dlg): | 74 def create(dlg): |
| 73 """ | 75 """ |
| 74 Module function to create the configuration page. | 76 Module function to create the configuration page. |
| 75 | 77 |
