diff -r 1c0ea3a87390 -r 070b35dde35e Plugins/CheckerPlugins/Tabnanny/TabnannyDialog.py
--- a/Plugins/CheckerPlugins/Tabnanny/TabnannyDialog.py Sun Nov 03 16:23:07 2013 +0100
+++ b/Plugins/CheckerPlugins/Tabnanny/TabnannyDialog.py Tue Nov 05 22:23:38 2013 +0100
@@ -119,7 +119,7 @@
elif os.path.isdir(fn):
files = []
extensions = set(Preferences.getPython("PythonExtensions") +
- Preferences.getPython("Python3Extensions"))
+ Preferences.getPython("Python3Extensions"))
for ext in extensions:
files.extend(
Utilities.direntries(fn, True, '*{0}'.format(ext), 0))
