Project/Project.py

changeset 3438
29717a5e8b97
parent 3371
d0bef2791682
child 3439
08aa0cef69e3
equal deleted inserted replaced
3435:e4db9c0c7e94 3438:29717a5e8b97
166 """ 166 """
167 super().__init__(parent) 167 super().__init__(parent)
168 168
169 self.ui = parent 169 self.ui = parent
170 170
171 # TODO: add JavaScript below
171 self.__progLanguages = [ 172 self.__progLanguages = [
172 "Python2", 173 "Python2",
173 "Python3", 174 "Python3",
174 "Ruby", 175 "Ruby",
175 ] 176 ]
176 177
178 # TODO: add JavaScript below
177 self.sourceExtensions = { 179 self.sourceExtensions = {
178 "Python2": Preferences.getPython("PythonExtensions"), 180 "Python2": Preferences.getPython("PythonExtensions"),
179 "Python3": Preferences.getPython("Python3Extensions"), 181 "Python3": Preferences.getPython("Python3Extensions"),
180 "Ruby": ['.rb'], 182 "Ruby": ['.rb'],
181 "Mixed": Preferences.getPython("Python3Extensions") + ['.rb'], 183 "Mixed": Preferences.getPython("Python3Extensions") + ['.rb'],

eric ide

mercurial