eric6/Utilities/__init__.py

changeset 7186
ccd55666e9d2
parent 7098
fbdf76af88ed
child 7192
a22eee00b052
diff -r af8e89a7a51d -r ccd55666e9d2 eric6/Utilities/__init__.py
--- a/eric6/Utilities/__init__.py	Fri Aug 30 19:00:38 2019 +0200
+++ b/eric6/Utilities/__init__.py	Fri Aug 30 19:07:18 2019 +0200
@@ -1605,7 +1605,12 @@
         already (Editor object)
     @return Python version if file is Python2 or Python3 (int)
     """
-    pyAssignment = {"Python": 2, "Python2": 2, "Python3": 3}
+    pyAssignment = {
+        "Python": 2,
+        "Python2": 2,
+        "Python3": 3,
+        "MicroPython": 3,
+    }
     
     if not editor:
         viewManager = e5App().getObject('ViewManager')

eric ide

mercurial