eric6/QScintilla/MiniEditor.py

changeset 7178
43e994af5ee0
parent 6942
2602857055c5
child 7229
53054eb5b15a
--- a/eric6/QScintilla/MiniEditor.py	Thu Aug 29 18:59:54 2019 +0200
+++ b/eric6/QScintilla/MiniEditor.py	Thu Aug 29 19:00:33 2019 +0200
@@ -3118,7 +3118,8 @@
             supportedLanguages = Lexers.getSupportedLanguages()
             if self.filetype in supportedLanguages:
                 bindName = supportedLanguages[self.filetype][1]
-            elif self.filetype in ["Python", "Python2", "Python3"]:
+            elif self.filetype in ["Python", "Python2", "Python3",
+                                   "MicroPython"]:
                 bindName = "dummy.py"
         
         if not bindName and line0.startswith("#!"):

eric ide

mercurial