diff -r f05a814aeddc -r eab46b63ed91 eric6/Preferences/ProgramsDialog.py
--- 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():
