(TargetPlatform platform)
| 1546 | } |
| 1547 | |
| 1548 | private String getPlatformUniqueId(TargetPlatform platform) { |
| 1549 | return platform.getId() + "_" + platform.getFolder(); |
| 1550 | } |
| 1551 | |
| 1552 | private JRadioButtonMenuItem createBoardMenusAndCustomMenus( |
| 1553 | final List<JMenu> boardsCustomMenus, List<JMenuItem> menuItemsToClickAfterStartup, |
no test coverage detected