--- a/eric6/MicroPython/MicrobitDevices.py Fri Aug 23 13:23:36 2019 +0200 +++ b/eric6/MicroPython/MicrobitDevices.py Fri Aug 23 14:49:59 2019 +0200 @@ -22,6 +22,7 @@ from E5Gui.E5ProcessDialog import E5ProcessDialog import Utilities +import Preferences class MicrobitDevice(MicroPythonDevice): @@ -327,3 +328,12 @@ """ pip = e5App().getObject("Pip") pip.installPackages(["uflash"], interpreter=sys.executable) + + def getDocumentationUrl(self): + """ + Public method to get the device documentation URL. + + @return documentation URL of the device + @rtype str + """ + return Preferences.getMicroPython("MicrobitDocuUrl")