--- a/ViewManager/ViewManager.py	Sat Jan 16 14:46:24 2010 +0000
+++ b/ViewManager/ViewManager.py	Sat Jan 16 15:05:10 2010 +0000
@@ -4413,7 +4413,7 @@
         Private slot to set the automatic spell checking of all editors.
         """
         enabled = self.autoSpellCheckAct.isChecked()
-        Preferences.setEditor("AutoSpellCheckingEnabled", int(enabled))
+        Preferences.setEditor("AutoSpellCheckingEnabled", enabled)
         for editor in self.editors:
             editor.setAutoSpellChecking()
     
@@ -4811,4 +4811,4 @@
         Public method to get a reference to the APIs manager.
         @return the APIs manager object (eric5.QScintilla.APIsManager)
         """
-        return self.apisManager
\ No newline at end of file
+        return self.apisManager