diff -r 10516539f238 -r 0a02c433f52d Preferences/ConfigurationPages/EditorAutocompletionPage.py --- a/Preferences/ConfigurationPages/EditorAutocompletionPage.py Fri Oct 18 23:00:41 2013 +0200 +++ b/Preferences/ConfigurationPages/EditorAutocompletionPage.py Fri Nov 01 15:48:48 2013 +0100 @@ -42,13 +42,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())