diff -r 00166038bba5 -r 6da6a0a5a448 eric6/Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckService.py
--- a/eric6/Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckService.py Fri Aug 23 20:08:33 2019 +0200
+++ b/eric6/Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckService.py Sat Aug 24 16:33:42 2019 +0200
@@ -93,7 +93,7 @@
@return list of languanges supported (list of str)
"""
- return list(self.__supportedLanguages.keys())
+ return list(self.__supportedLanguages.keys()) + ["MicroPython"]
def removeLanguage(self, lang):
"""
@@ -131,6 +131,9 @@
lang = self.__determineLanguage(filename, source)
if lang not in self.getLanguages():
return
+ if lang == "MicroPython":
+ lang = "Python3"
+
data = [source]
# Call the getArgs function to get the required arguments
env, args, getExt = self.__supportedLanguages[lang]
