()
| 4318 | } |
| 4319 | |
| 4320 | protected void init() { |
| 4321 | addMenuListener(new MenuListener() { |
| 4322 | @Override |
| 4323 | public void menuCanceled(MenuEvent e) { |
| 4324 | menuDeselected(e); |
| 4325 | } |
| 4326 | |
| 4327 | @Override |
| 4328 | public void menuDeselected(MenuEvent e) { |
| 4329 | // clear the status |
| 4330 | statusChanged(""); |
| 4331 | } |
| 4332 | |
| 4333 | @Override |
| 4334 | public void menuSelected(MenuEvent e) { |
| 4335 | statusChanged(""); |
| 4336 | } |
| 4337 | }); |
| 4338 | |
| 4339 | Gate.getCreoleRegister().addPluginListener(new PluginListener() { |
| 4340 | @Override |
| 4341 | public void pluginLoaded(Plugin plugin) { |
| 4342 | SwingUtilities.invokeLater(LiveMenu.this::rebuildMenu); |
| 4343 | } |
| 4344 | |
| 4345 | @Override |
| 4346 | public void pluginUnloaded(Plugin plugin) { |
| 4347 | SwingUtilities.invokeLater(LiveMenu.this::rebuildMenu); |
| 4348 | } |
| 4349 | }); |
| 4350 | |
| 4351 | // build menu once to start with |
| 4352 | rebuildMenu(); |
| 4353 | } |
| 4354 | |
| 4355 | private void rebuildMenu() { |
| 4356 | // clear the menu and start over |
no test coverage detected