--- a/Preferences/ConfigurationPages/EditorSyntaxPage.py Tue Oct 15 19:13:32 2013 +0200 +++ b/Preferences/ConfigurationPages/EditorSyntaxPage.py Wed Oct 16 15:16:54 2013 +0200 @@ -45,17 +45,22 @@ """ Public slot to save the Editor Syntax Checker configuration. """ - Preferences.setEditor("OnlineSyntaxCheck", + Preferences.setEditor( + "OnlineSyntaxCheck", self.onlineCheckBox.isChecked()) - Preferences.setEditor("OnlineSyntaxCheckInterval", + Preferences.setEditor( + "OnlineSyntaxCheckInterval", self.onlineTimeoutSpinBox.value()) - Preferences.setEditor("AutoCheckSyntax", + Preferences.setEditor( + "AutoCheckSyntax", self.automaticSyntaxCheckCheckBox.isChecked()) # pyflakes related stuff - Preferences.setFlakes("IncludeInSyntaxCheck", + Preferences.setFlakes( + "IncludeInSyntaxCheck", self.includeCheckBox.isChecked()) - Preferences.setFlakes("IgnoreStarImportWarnings", + Preferences.setFlakes( + "IgnoreStarImportWarnings", self.ignoreStarImportCheckBox.isChecked())