()
| 274 | } |
| 275 | |
| 276 | private PopupMenu newPopupMenu() { |
| 277 | PopupMenu popup = new PopupMenu(); |
| 278 | GUI.scalePopupMenu(popup); |
| 279 | //System.out.println("newPopupMenu: "+popup.getFont()); |
| 280 | return popup; |
| 281 | } |
| 282 | |
| 283 | private void addMenuItem(PopupMenu menu, String command) { |
| 284 | MenuItem item = new MenuItem(command); |
no test coverage detected