diff -r 29e9027f28c0 -r 43e994af5ee0 eric6/Plugins/PluginTabnanny.py
--- a/eric6/Plugins/PluginTabnanny.py Thu Aug 29 18:59:54 2019 +0200
+++ b/eric6/Plugins/PluginTabnanny.py Thu Aug 29 19:00:33 2019 +0200
@@ -292,7 +292,7 @@
if menuName == "Checks" and self.__projectAct is not None:
self.__projectAct.setEnabled(
e5App().getObject("Project").getProjectLanguage() in
- ["Python3", "Python2", "Python"])
+ ["Python3", "Python2", "Python", "MicroPython"])
def __projectBrowserShowMenu(self, menuName, menu):
"""
@@ -304,7 +304,7 @@
"""
if menuName == "Checks" and \
e5App().getObject("Project").getProjectLanguage() in \
- ["Python3", "Python2", "Python"]:
+ ["Python3", "Python2", "Python", "MicroPython"]:
self.__projectBrowserMenu = menu
if self.__projectBrowserAct is None:
self.__projectBrowserAct = E5Action(
