Mercurial Repositories > eric / file diff

--- a/Preferences/ConfigurationPages/EditorSearchPage.py	Mon Dec 28 18:31:37 2009 +0000
+++ b/Preferences/ConfigurationPages/EditorSearchPage.py	Wed Dec 30 15:40:33 2009 +0000
@@ -49,11 +49,11 @@
         Public slot to save the Editor Search configuration.
         """
         Preferences.setEditor("SearchMarkersEnabled", 
-            int(self.searchMarkersEnabledCheckBox.isChecked()))
+            self.searchMarkersEnabledCheckBox.isChecked())
         Preferences.setEditor("QuickSearchMarkersEnabled", 
-            int(self.quicksearchMarkersEnabledCheckBox.isChecked()))
+            self.quicksearchMarkersEnabledCheckBox.isChecked())
         Preferences.setEditor("MarkOccurrencesEnabled", 
-            int(self.occurrencesMarkersEnabledCheckBox.isChecked()))
+            self.occurrencesMarkersEnabledCheckBox.isChecked())
         
         Preferences.setEditor("MarkOccurrencesTimeout", 
             self.markOccurrencesTimeoutSpinBox.value())