src/eric7/MicroPython/MicroPythonWidget.py

branch
eric7
changeset 9752
2b9546c0cbd9
parent 9751
606ac0e26533
child 9759
4543b7876047
equal deleted inserted replaced
9751:606ac0e26533 9752:2b9546c0cbd9
1509 self.__superMenu.addSeparator() 1509 self.__superMenu.addSeparator()
1510 self.__superMenu.addAction( 1510 self.__superMenu.addAction(
1511 self.tr("Show Documentation"), self.__showDocumentation 1511 self.tr("Show Documentation"), self.__showDocumentation
1512 ).setEnabled(self.__device.hasDocumentationUrl()) 1512 ).setEnabled(self.__device.hasDocumentationUrl())
1513 self.__superMenu.addSeparator() 1513 self.__superMenu.addSeparator()
1514 ##if self.__device is not None and not self.__device.hasFlashMenuEntry():
1515 if bool(UF2FlashDialog.getFoundDevices()): 1514 if bool(UF2FlashDialog.getFoundDevices()):
1516 self.__superMenu.addAction(self.tr("Flash UF2 Device"), self.__flashUF2) 1515 self.__superMenu.addAction(self.tr("Flash UF2 Device"), self.__flashUF2)
1517 self.__superMenu.addSeparator() 1516 self.__superMenu.addSeparator()
1518 self.__superMenu.addAction( 1517 self.__superMenu.addAction(
1519 self.tr("Manage Unknown Devices"), self.__manageUnknownDevices 1518 self.tr("Manage Unknown Devices"), self.__manageUnknownDevices

eric ide

mercurial