src/eric7/MicroPython/MicroPythonWidget.py

branch
eric7
changeset 9737
5e05b2089daf
parent 9653
e67609152c5e
child 9738
4ae976ee5339
equal deleted inserted replaced
9736:796b1ecab72c 9737:5e05b2089daf
1454 act = self.__superMenu.addAction( 1454 act = self.__superMenu.addAction(
1455 self.tr("Show Documentation"), self.__showDocumentation 1455 self.tr("Show Documentation"), self.__showDocumentation
1456 ) 1456 )
1457 act.setEnabled(self.__device.hasDocumentationUrl()) 1457 act.setEnabled(self.__device.hasDocumentationUrl())
1458 self.__superMenu.addSeparator() 1458 self.__superMenu.addSeparator()
1459 if not self.__device.hasFlashMenuEntry(): 1459 if self.__device is not None and not self.__device.hasFlashMenuEntry():
1460 self.__superMenu.addAction(self.tr("Flash UF2 Device"), self.__flashUF2) 1460 self.__superMenu.addAction(self.tr("Flash UF2 Device"), self.__flashUF2)
1461 self.__superMenu.addSeparator() 1461 self.__superMenu.addSeparator()
1462 self.__superMenu.addAction( 1462 self.__superMenu.addAction(
1463 self.tr("Manage Unknown Devices"), self.__manageUnknownDevices 1463 self.tr("Manage Unknown Devices"), self.__manageUnknownDevices
1464 ) 1464 )

eric ide

mercurial