()
| 302 | |
| 303 | |
| 304 | public void rebuildMenu() { |
| 305 | if (menu != null) { |
| 306 | menu.removeAll(); |
| 307 | |
| 308 | } else { |
| 309 | menu = new JMenu(); |
| 310 | MenuScroller.setScrollerFor(menu); |
| 311 | popup = menu.getPopupMenu(); |
| 312 | popup.setLightWeightPopupEnabled(true); |
| 313 | } |
| 314 | JMenuItem item; |
| 315 | |
| 316 | menu.add(new JMenuItem(actions.newTab)); |
| 317 | menu.add(new JMenuItem(actions.renameTab)); |
| 318 | menu.add(new JMenuItem(actions.deleteTab)); |
| 319 | menu.addSeparator(); |
| 320 | menu.add(new JMenuItem(actions.prevTab)); |
| 321 | menu.add(new JMenuItem(actions.nextTab)); |
| 322 | |
| 323 | Sketch sketch = editor.getSketch(); |
| 324 | if (sketch != null) { |
| 325 | menu.addSeparator(); |
| 326 | |
| 327 | int i = 0; |
| 328 | for (EditorTab tab : editor.getTabs()) { |
| 329 | SketchFile file = tab.getSketchFile(); |
| 330 | final int index = i++; |
| 331 | item = new JMenuItem(file.getPrettyName()); |
| 332 | item.addActionListener((ActionEvent e) -> { |
| 333 | editor.selectTab(index); |
| 334 | }); |
| 335 | menu.add(item); |
| 336 | } |
| 337 | } |
| 338 | } |
| 339 | |
| 340 | |
| 341 | public Dimension getPreferredSize() { |
no test coverage detected