128 }) |
128 }) |
129 elif name == "Python3": |
129 elif name == "Python3": |
130 self.__editorLanguageMapping.update({ |
130 self.__editorLanguageMapping.update({ |
131 "Python3": "Python3", |
131 "Python3": "Python3", |
132 "Pygments|Python 3": "Python3", |
132 "Pygments|Python 3": "Python3", |
|
133 "MicroPython": "Python3", |
133 }) |
134 }) |
134 |
135 |
135 def isSupportedLanguage(self, language): |
136 def isSupportedLanguage(self, language): |
136 """ |
137 """ |
137 Public method to check, if the given language is supported. |
138 Public method to check, if the given language is supported. |