eric6/MicroPython/MicrobitDevices.py

changeset 7161
728018c32b09
parent 7134
21d23ca51680
child 7173
f611c3b7313f
--- 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")

eric ide

mercurial