(Menu menu, String label, String className, int shortcut, boolean shift)
| 486 | } |
| 487 | |
| 488 | void addPlugInItem(Menu menu, String label, String className, int shortcut, boolean shift) { |
| 489 | pluginsTable.put(label, className); |
| 490 | nPlugins++; |
| 491 | addItem(menu, label, shortcut, shift); |
| 492 | } |
| 493 | |
| 494 | CheckboxMenuItem addCheckboxItem(Menu menu, String label, String className) { |
| 495 | pluginsTable.put(label, className); |
no test coverage detected