diff -r e35d2cda9a74 -r b3d966393ba9 Preferences/ConfigurationPages/EditorSearchPage.py --- a/Preferences/ConfigurationPages/EditorSearchPage.py Sat Sep 04 19:51:19 2010 +0200 +++ b/Preferences/ConfigurationPages/EditorSearchPage.py Sat Sep 04 19:51:48 2010 +0200 @@ -29,11 +29,11 @@ self.editorColours = {} # set initial values - self.searchMarkersEnabledCheckBox.setChecked(\ + self.searchMarkersEnabledCheckBox.setChecked( Preferences.getEditor("SearchMarkersEnabled")) - self.quicksearchMarkersEnabledCheckBox.setChecked(\ + self.quicksearchMarkersEnabledCheckBox.setChecked( Preferences.getEditor("QuickSearchMarkersEnabled")) - self.occurrencesMarkersEnabledCheckBox.setChecked(\ + self.occurrencesMarkersEnabledCheckBox.setChecked( Preferences.getEditor("MarkOccurrencesEnabled")) self.markOccurrencesTimeoutSpinBox.setValue( @@ -76,4 +76,4 @@ @param dlg reference to the configuration dialog """ page = EditorSearchPage() - return page + return page \ No newline at end of file