diff -r 1018a0347ae9 -r dde24fc7f7ba Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckerDialog.py
--- a/Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckerDialog.py Thu Jan 07 12:30:38 2010 +0000
+++ b/Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckerDialog.py Thu Jan 07 12:31:11 2010 +0000
@@ -77,11 +77,13 @@
if isinstance(fn, list):
files = fn
elif os.path.isdir(fn):
+ # TODO: make this dependant on configured extensions
files = Utilities.direntries(fn, 1, '*.py', 0)
files += Utilities.direntries(fn, 1, '*.pyw', 0)
files += Utilities.direntries(fn, 1, '*.ptl', 0)
else:
files = [fn]
+ # TODO: make this dependant on configured extensions
files = [f for f in files \
if f.endswith(".py") or f.endswith(".pyw") or f.endswith(".ptl")]
