diff -r 0457d754fc9a -r a78b83d1062a src/eric7/Preferences/ProgramsDialog.py
--- a/src/eric7/Preferences/ProgramsDialog.py Sun Apr 02 11:13:14 2023 +0200
+++ b/src/eric7/Preferences/ProgramsDialog.py Sun Apr 02 15:55:20 2023 +0200
@@ -337,6 +337,26 @@
"dfu-util",
-1,
)
+ exe = Preferences.getMicroPython("StInfoPath")
+ if not exe:
+ exe = "st-info"
+ self.__createProgramEntry(
+ self.tr("MicroPython - STLink Info"),
+ exe,
+ "--version",
+ "",
+ -1,
+ )
+ exe = Preferences.getMicroPython("StFlashPath")
+ if not exe:
+ exe = "st-flash"
+ self.__createProgramEntry(
+ self.tr("MicroPython - STLink Flasher"),
+ exe,
+ "--version",
+ "",
+ -1,
+ )
# 9. do the jedi related entries
try:
