diff -r 83df7d69e61b -r bc0ee7fadd03 eric6/Preferences/__init__.py
--- a/eric6/Preferences/__init__.py Fri Nov 01 16:11:55 2019 +0100
+++ b/eric6/Preferences/__init__.py Sun Dec 01 16:38:47 2019 +0100
@@ -1451,12 +1451,16 @@
"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":
"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/",
}
if Globals.isWindowsPlatform():
microPythonDefaults["ColorScheme"] = "Windows 10"
