--- 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)