eric6/Preferences/__init__.py

changeset 7161
728018c32b09
parent 7140
22f5fd76c10f
child 7192
a22eee00b052
child 7214
f434af227a41
--- a/eric6/Preferences/__init__.py	Fri Aug 23 13:23:36 2019 +0200
+++ b/eric6/Preferences/__init__.py	Fri Aug 23 14:49:59 2019 +0200
@@ -1597,7 +1597,13 @@
         "SyncTimeAfterConnect": True,
         "ShowHiddenLocal": True,
         "ShowHiddenDevice": True,
-        "MpyCrossCompiler": "",    # path of the mpy cross compiler
+        "MpyCrossCompiler": "",         # path of the mpy-cross compiler
+        "MicroPythonDocuUrl":
+            "https://docs.micropython.org/en/latest/",
+        "CircuitPythonDocuUrl":
+            "https://circuitpython.readthedocs.io/en/latest/",
+        "MicrobitDocuUrl":
+            "https://microbit-micropython.readthedocs.io/en/latest/",
     }
     if Globals.isWindowsPlatform():
         microPythonDefaults["ColorScheme"] = "Windows 10"

eric ide

mercurial