--- 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"