diff -r 17c01303a239 -r 67064c71df21 Preferences/ConfigurationPages/EditorAutocompletionPage.py --- a/Preferences/ConfigurationPages/EditorAutocompletionPage.py Tue Oct 15 19:13:32 2013 +0200 +++ b/Preferences/ConfigurationPages/EditorAutocompletionPage.py Wed Oct 16 15:16:54 2013 +0200 @@ -40,13 +40,17 @@ """ Public slot to save the Editor Autocompletion configuration. """ - Preferences.setEditor("AutoCompletionEnabled", + Preferences.setEditor( + "AutoCompletionEnabled", self.acEnabledCheckBox.isChecked()) - Preferences.setEditor("AutoCompletionCaseSensitivity", + Preferences.setEditor( + "AutoCompletionCaseSensitivity", self.acCaseSensitivityCheckBox.isChecked()) - Preferences.setEditor("AutoCompletionReplaceWord", + Preferences.setEditor( + "AutoCompletionReplaceWord", self.acReplaceWordCheckBox.isChecked()) - Preferences.setEditor("AutoCompletionThreshold", + Preferences.setEditor( + "AutoCompletionThreshold", self.acThresholdSlider.value())