--- a/eric6/Preferences/__init__.py Sat Nov 02 18:21:01 2019 +0100 +++ b/eric6/Preferences/__init__.py Sat Nov 02 19:24:46 2019 +0100 @@ -1458,8 +1458,10 @@ "https://circuitpython.readthedocs.io/en/latest/", "MicrobitDocuUrl": "https://microbit-micropython.readthedocs.io/en/latest/", + "MicroPythonFirmwareUrl": "http://micropython.org/download", + "CircuitPythonFirmwareUrl": "https://circuitpython.org/downloads", + "MicrobitFirmwareUrl": "https://microbit.org/guide/firmware/", } - # TODO: add URLs for getting the firmware if Globals.isWindowsPlatform(): microPythonDefaults["ColorScheme"] = "Windows 10" elif Globals.isMacPlatform():