--- a/eric6/Preferences/ProgramsDialog.py Fri Nov 01 18:58:46 2019 +0100 +++ b/eric6/Preferences/ProgramsDialog.py Sat Nov 02 18:19:24 2019 +0100 @@ -290,6 +290,23 @@ self.__createEntry( self.tr("Source Highlighter - Pygments"), text, version) + # 10. do the MicroPython related entries + exe = Preferences.getMicroPython("MpyCrossCompiler") + if not exe: + exe = "mpy-cross" + self.__createProgramEntry( + self.tr("MicroPython - MPY Cross Compiler"), exe, '--version', + 'MicroPython', 1) + self.__createProgramEntry( + self.tr("MicroPython - ESP Tool"), sys.executable, 'version', + 'esptool', -1, exeModule=['-m', 'esptool']) + exe = Preferences.getMicroPython("DfuUtilPath") + if not exe: + exe = "dfu-util" + self.__createProgramEntry( + self.tr("MicroPython - PyBoard Flasher"), exe, '--version', + 'dfu-util', -1) + # 10. do the plugin related programs pm = e5App().getObject("PluginManager") for info in pm.getPluginExeDisplayData():