eric6/MicroPython/MicroPythonWidget.py

changeset 8099
522946e53835
parent 8096
5425a9072300
child 8104
96e9348ff55f
equal deleted inserted replaced
8098:36d5f6786a9f 8099:522946e53835
344 if unknownDevices: 344 if unknownDevices:
345 ignoredUnknown = { 345 ignoredUnknown = {
346 tuple(d) 346 tuple(d)
347 for d in Preferences.getMicroPython("IgnoredUnknownDevices") 347 for d in Preferences.getMicroPython("IgnoredUnknownDevices")
348 } 348 }
349 uf2Devices = {(*x[2], x[1]) for x in UF2FlashDialog.getFoundDevices()} 349 uf2Devices = {(*x[2], x[1])
350 for x in UF2FlashDialog.getFoundDevices()}
350 newUnknownDevices = ( 351 newUnknownDevices = (
351 set(unknownDevices) - ignoredUnknown - uf2Devices 352 set(unknownDevices) - ignoredUnknown - uf2Devices
352 ) 353 )
353 if newUnknownDevices: 354 if newUnknownDevices:
354 button = E5MessageBox.information( 355 button = E5MessageBox.information(

eric ide

mercurial