(Menu menu)
| 448 | } |
| 449 | |
| 450 | void addOpenRecentSubMenu(Menu menu) { |
| 451 | openRecentMenu = getMenu("File>Open Recent"); |
| 452 | for (int i=0; i<MAX_OPEN_RECENT_ITEMS; i++) { |
| 453 | String path = Prefs.getString("recent" + (i/10)%10 + i%10); |
| 454 | if (path==null) break; |
| 455 | MenuItem item = new MenuItem(path); |
| 456 | openRecentMenu.add(item); |
| 457 | item.addActionListener(ij); |
| 458 | } |
| 459 | menu.add(openRecentMenu); |
| 460 | } |
| 461 | |
| 462 | static void addItem(Menu menu, String label, int shortcut, boolean shift) { |
| 463 | if (menu==null) |
no test coverage detected