diff -r ea11a3948f40 -r b422b4e77d19 eric7/MicroPython/MicroPythonWidget.py --- a/eric7/MicroPython/MicroPythonWidget.py Mon May 17 19:58:15 2021 +0200 +++ b/eric7/MicroPython/MicroPythonWidget.py Tue May 18 18:19:47 2021 +0200 @@ -399,10 +399,7 @@ desc, vid, pid) for vid, pid, desc in newUnknownDevices]), BugAddress), - E5MessageBox.StandardButtons( - E5MessageBox.Ignore | - E5MessageBox.Ok - ) + E5MessageBox.Ignore | E5MessageBox.Ok ) if button == E5MessageBox.Ignore: ignoredUnknown = list(ignoredUnknown | newUnknownDevices)