diff -r 1b59c4ba121e -r 8cd4d08fa9f6 Preferences/ConfigurationPages/EditorSearchPage.py
--- a/Preferences/ConfigurationPages/EditorSearchPage.py Fri Mar 11 08:55:14 2011 +0100
+++ b/Preferences/ConfigurationPages/EditorSearchPage.py Fri Mar 11 16:51:57 2011 +0100
@@ -14,6 +14,7 @@
import Preferences
+
class EditorSearchPage(ConfigurationPageBase, Ui_EditorSearchPage):
"""
Class implementing the Editor Search configuration page.
@@ -40,21 +41,21 @@
Preferences.getEditor("MarkOccurrencesTimeout"))
self.editorColours["SearchMarkers"] = \
- self.initColour("SearchMarkers", self.searchMarkerButton,
+ self.initColour("SearchMarkers", self.searchMarkerButton,
Preferences.getEditorColour)
def save(self):
"""
Public slot to save the Editor Search configuration.
"""
- Preferences.setEditor("SearchMarkersEnabled",
+ Preferences.setEditor("SearchMarkersEnabled",
self.searchMarkersEnabledCheckBox.isChecked())
- Preferences.setEditor("QuickSearchMarkersEnabled",
+ Preferences.setEditor("QuickSearchMarkersEnabled",
self.quicksearchMarkersEnabledCheckBox.isChecked())
- Preferences.setEditor("MarkOccurrencesEnabled",
+ Preferences.setEditor("MarkOccurrencesEnabled",
self.occurrencesMarkersEnabledCheckBox.isChecked())
- Preferences.setEditor("MarkOccurrencesTimeout",
+ Preferences.setEditor("MarkOccurrencesTimeout",
self.markOccurrencesTimeoutSpinBox.value())
for key in list(self.editorColours.keys()):
@@ -66,9 +67,10 @@
Private slot to set the colour of the search markers.
"""
self.editorColours["SearchMarkers"] = \
- self.selectColour(self.searchMarkerButton,
+ self.selectColour(self.searchMarkerButton,
self.editorColours["SearchMarkers"], True)
+
def create(dlg):
"""
Module function to create the configuration page.
