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'], |