eric6/Preferences/__init__.py

changeset 7328
e2d85ef3fadb
parent 7327
71883ddcb762
child 7345
bc0ee7fadd03
child 7356
d975331c5daa
--- 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():

eric ide

mercurial