117 if isinstance(fn, list): |
117 if isinstance(fn, list): |
118 files = fn |
118 files = fn |
119 elif os.path.isdir(fn): |
119 elif os.path.isdir(fn): |
120 files = [] |
120 files = [] |
121 extensions = set(Preferences.getPython("PythonExtensions") + |
121 extensions = set(Preferences.getPython("PythonExtensions") + |
122 Preferences.getPython("Python3Extensions")) |
122 Preferences.getPython("Python3Extensions")) |
123 for ext in extensions: |
123 for ext in extensions: |
124 files.extend( |
124 files.extend( |
125 Utilities.direntries(fn, True, '*{0}'.format(ext), 0)) |
125 Utilities.direntries(fn, True, '*{0}'.format(ext), 0)) |
126 else: |
126 else: |
127 files = [fn] |
127 files = [fn] |