178 self.sourceExtensions = { |
178 self.sourceExtensions = { |
179 "Python2": Preferences.getPython("PythonExtensions"), |
179 "Python2": Preferences.getPython("PythonExtensions"), |
180 "Python3": Preferences.getPython("Python3Extensions"), |
180 "Python3": Preferences.getPython("Python3Extensions"), |
181 "Ruby": ['.rb'], |
181 "Ruby": ['.rb'], |
182 "JavaScript": ['.js'], |
182 "JavaScript": ['.js'], |
183 "Mixed": Preferences.getPython("Python3Extensions") + \ |
183 "Mixed": (Preferences.getPython("Python3Extensions") + |
184 ['.rb', '.js'], |
184 ['.rb', '.js']), |
185 } |
185 } |
186 |
186 |
187 self.dbgFilters = { |
187 self.dbgFilters = { |
188 "Python2": self.tr( |
188 "Python2": self.tr( |
189 "Python2 Files (*.py2);;" |
189 "Python2 Files (*.py2);;" |