(String label, String platformUniqueId)
| 1658 | } |
| 1659 | |
| 1660 | private JMenu getBoardCustomMenu(String label, String platformUniqueId) throws Exception { |
| 1661 | for (JMenu menu : boardsCustomMenus) { |
| 1662 | if (label.equals(menu.getText()) && menu.getClientProperty("platform").equals(platformUniqueId)) { |
| 1663 | return menu; |
| 1664 | } |
| 1665 | } |
| 1666 | throw new Exception("Custom menu not found!"); |
| 1667 | } |
| 1668 | |
| 1669 | public List<JMenuItem> getProgrammerMenus() { |
| 1670 | return programmerMenus; |
no test coverage detected