diff -r b14b7c320327 -r 108abcc64724 Preferences/ConfigurationDialog.py
--- a/Preferences/ConfigurationDialog.py Wed Sep 11 19:19:07 2013 +0200
+++ b/Preferences/ConfigurationDialog.py Wed Sep 11 19:36:31 2013 +0200
@@ -148,9 +148,6 @@
"printerPage": \
[self.trUtf8("Printer"), "preferences-printer.png",
"PrinterPage", None, None],
- "py3flakesPage": \
- [self.trUtf8("PyFlakes"), "warning.png",
- "Py3FlakesPage", None, None],
"pythonPage": \
[self.trUtf8("Python"), "preferences-python.png",
"PythonPage", None, None],
@@ -227,7 +224,7 @@
[self.trUtf8("Style"), "preferences-styles.png",
"EditorStylesPage", "0editorPage", None],
"editorSyntaxPage": \
- [self.trUtf8("Syntax Checker"), "preferences-debugger.png",
+ [self.trUtf8("Code Checkers"), "preferences-debugger.png",
"EditorSyntaxPage", "0editorPage", None],
"editorTypingPage": \
[self.trUtf8("Typing"), "preferences-typing.png",
