diff -r 17c01303a239 -r 67064c71df21 Preferences/ConfigurationPages/EditorSearchPage.py
--- a/Preferences/ConfigurationPages/EditorSearchPage.py Tue Oct 15 19:13:32 2013 +0200
+++ b/Preferences/ConfigurationPages/EditorSearchPage.py Wed Oct 16 15:16:54 2013 +0200
@@ -38,21 +38,26 @@
self.markOccurrencesTimeoutSpinBox.setValue(
Preferences.getEditor("MarkOccurrencesTimeout"))
- self.initColour("SearchMarkers", self.searchMarkerButton,
+ self.initColour(
+ "SearchMarkers", self.searchMarkerButton,
Preferences.getEditorColour, hasAlpha=True)
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())
self.saveColours(Preferences.setEditorColour)
