(String name)
| 1430 | } |
| 1431 | |
| 1432 | private void addPluginTool(String name) { |
| 1433 | CheckboxMenuItem item = new CheckboxMenuItem(name, name.equals(currentSet)); |
| 1434 | item.addItemListener(this); |
| 1435 | item.setActionCommand("Plugin Tool"); |
| 1436 | switchPopup.add(item); |
| 1437 | } |
| 1438 | |
| 1439 | private void addItem(String name) { |
| 1440 | CheckboxMenuItem item = new CheckboxMenuItem(name, name.equals(currentSet)); |
no test coverage detected