Preferences/ConfigurationPages/EditorSearchPage.py

branch
Py2 comp.
changeset 3058
0a02c433f52d
parent 3057
10516539f238
parent 3025
67064c71df21
child 3145
a9de05d4a22f
--- a/Preferences/ConfigurationPages/EditorSearchPage.py	Fri Oct 18 23:00:41 2013 +0200
+++ b/Preferences/ConfigurationPages/EditorSearchPage.py	Fri Nov 01 15:48:48 2013 +0100
@@ -40,21 +40,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)

eric ide

mercurial