diff --git a/app/src/processing/app/Base.java b/app/src/processing/app/Base.java index f0ed1be3d..e9ddc9e42 100644 --- a/app/src/processing/app/Base.java +++ b/app/src/processing/app/Base.java @@ -1696,6 +1696,12 @@ public class Base { addProgrammersForPlatform(boardPlatform, programmerMenus, group); if (corePlatform != null) addProgrammersForPlatform(corePlatform, programmerMenus, group); + + if (programmerMenus.isEmpty()) { + JMenuItem item = new JMenuItem(tr("No programmers available for this board")); + item.setEnabled(false); + programmerMenus.add(item); + } } public void addProgrammersForPlatform(TargetPlatform platform, List menus, ButtonGroup group) {