(Menu menu, String label, String className)
| 492 | } |
| 493 | |
| 494 | CheckboxMenuItem addCheckboxItem(Menu menu, String label, String className) { |
| 495 | pluginsTable.put(label, className); |
| 496 | nPlugins++; |
| 497 | CheckboxMenuItem item = new CheckboxMenuItem(label); |
| 498 | menu.add(item); |
| 499 | item.addItemListener(ij); |
| 500 | item.setState(false); |
| 501 | return item; |
| 502 | } |
| 503 | |
| 504 | static Menu addSubMenu(Menu menu, String name) { |
| 505 | String value; |
no test coverage detected