eric6/Preferences/__init__.py

changeset 7327
71883ddcb762
parent 7319
49ea50a9a61e
child 7328
e2d85ef3fadb
--- a/eric6/Preferences/__init__.py	Sat Nov 02 18:19:24 2019 +0100
+++ b/eric6/Preferences/__init__.py	Sat Nov 02 18:21:01 2019 +0100
@@ -1451,6 +1451,7 @@
         "ShowHiddenLocal": True,
         "ShowHiddenDevice": True,
         "MpyCrossCompiler": "",         # path of the mpy-cross compiler
+        "DfuUtilPath": "",              # path of the dfu-util flashing tool
         "MicroPythonDocuUrl":
             "https://docs.micropython.org/en/latest/",
         "CircuitPythonDocuUrl":
@@ -1458,6 +1459,7 @@
         "MicrobitDocuUrl":
             "https://microbit-micropython.readthedocs.io/en/latest/",
     }
+    # TODO: add URLs for getting the firmware
     if Globals.isWindowsPlatform():
         microPythonDefaults["ColorScheme"] = "Windows 10"
     elif Globals.isMacPlatform():

eric ide

mercurial