(JMenu menu)
| 983 | } |
| 984 | |
| 985 | private void addInternalTools(JMenu menu) { |
| 986 | JMenuItem item; |
| 987 | |
| 988 | item = createToolMenuItem("cc.arduino.packages.formatter.AStyle"); |
| 989 | if (item == null) { |
| 990 | throw new NullPointerException("Tool cc.arduino.packages.formatter.AStyle unavailable"); |
| 991 | } |
| 992 | item.setName("menuToolsAutoFormat"); |
| 993 | int modifiers = Toolkit.getDefaultToolkit().getMenuShortcutKeyMask(); |
| 994 | item.setAccelerator(KeyStroke.getKeyStroke('T', modifiers)); |
| 995 | menu.add(item); |
| 996 | |
| 997 | //menu.add(createToolMenuItem("processing.app.tools.CreateFont")); |
| 998 | //menu.add(createToolMenuItem("processing.app.tools.ColorSelector")); |
| 999 | menu.add(createToolMenuItem("processing.app.tools.Archiver")); |
| 1000 | menu.add(createToolMenuItem("processing.app.tools.FixEncoding")); |
| 1001 | } |
| 1002 | |
| 1003 | |
| 1004 | private void selectSerialPort(String name) { |
no test coverage detected