diff -r 71883ddcb762 -r e2d85ef3fadb eric6/MicroPython/PyBoardDevices.py
--- a/eric6/MicroPython/PyBoardDevices.py Sat Nov 02 18:21:01 2019 +0100
+++ b/eric6/MicroPython/PyBoardDevices.py Sat Nov 02 19:24:46 2019 +0100
@@ -180,7 +180,16 @@
@rtype str
"""
return Preferences.getMicroPython("MicroPythonDocuUrl")
-
+
+ def getFirmwareUrl(self):
+ """
+ Public method to get the device firmware download URL.
+
+ @return firmware download URL of the device
+ @rtype str
+ """
+ return Preferences.getMicroPython("MicroPythonFirmwareUrl")
+
def addDeviceMenuEntries(self, menu):
"""
Public method to add device specific entries to the given menu.
