diff -r 635f4f018e76 -r 881eebfefd34 eric6/MicroPython/MicroPythonWidget.py
--- 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):
"""
