Project/Project.py

changeset 3447
64fb656bd334
parent 3439
08aa0cef69e3
child 3484
645c12de6b0c
child 3503
2e98a3705f15
equal deleted inserted replaced
3446:5a670e55adbb 3447:64fb656bd334
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);;"

eric ide

mercurial