--- a/Preferences/ConfigurationDialog.py Sun Oct 02 15:57:38 2011 +0200 +++ b/Preferences/ConfigurationDialog.py Sun Oct 02 20:06:38 2011 +0200 @@ -218,6 +218,9 @@ "editorStylesPage": \ [self.trUtf8("Style"), "preferences-styles.png", "EditorStylesPage", "0editorPage", None], + "editorSyntaxPage": \ + [self.trUtf8("Syntax Checker"), "preferences-debugger.png", + "EditorSyntaxPage", "0editorPage", None], "editorTypingPage": \ [self.trUtf8("Typing"), "preferences-typing.png", "EditorTypingPage", "0editorPage", None],