Preferences/ConfigurationDialog.py

changeset 1353
e1c0af081a8e
parent 1232
ed31e909cf2e
child 1509
c0b5e693b0eb
--- 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],

eric ide

mercurial