eric6/MicroPython/MicroPythonWidget.py

changeset 7588
881eebfefd34
parent 7545
cd2f489f11d5
child 7592
f79dc58bdf62
--- a/eric6/MicroPython/MicroPythonWidget.py	Fri May 08 18:11:09 2020 +0200
+++ b/eric6/MicroPython/MicroPythonWidget.py	Sat May 09 11:47:40 2020 +0200
@@ -295,7 +295,7 @@
         self.deviceInfoLabel.clear()
         
         self.deviceTypeComboBox.addItem("", "")
-        devices = MicroPythonDevices.getFoundDevices()
+        devices, unknownDevices = MicroPythonDevices.getFoundDevices()
         if devices:
             self.deviceInfoLabel.setText(
                 self.tr("%n supported device(s) detected.", "", len(devices)))
@@ -325,6 +325,25 @@
         
         self.on_deviceTypeComboBox_activated(index)
         self.deviceTypeComboBox.setCurrentIndex(index)
+        
+        if unknownDevices:
+            E5MessageBox.information(
+                self,
+                self.tr("Unknown MicroPython Device"),
+                self.tr(
+                    '<p>Detected these unknown MicroPython devices</p>'
+                    '<ul>'
+                    '<li>{0}</li>'
+                    '</ul>'
+                    '<p>Please report them together with the board name and'
+                    ' a short description to'
+                    ' <a href="mailto:eric-bugs@eric-ide.python-projects.org">'
+                    'the eric bug reporting address.</a></p>'
+                ).format("</li><li>".join(
+                    ["{0} {1}".format(vid, pid)
+                     for (vid, pid) in unknownDevices]
+                ))
+            )
     
     def __handlePreferencesChanged(self):
         """

eric ide

mercurial