--- a/eric6/MicroPython/MicroPythonWidget.py Sun May 31 17:23:49 2020 +0200 +++ b/eric6/MicroPython/MicroPythonWidget.py Thu Jun 04 17:57:20 2020 +0200 @@ -1548,7 +1548,6 @@ """ Private slot to manage the list of ignored serial devices. """ - # TODO: implement this from .IgnoredDevicesDialog import IgnoredDevicesDialog dlg = IgnoredDevicesDialog(