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