private void addMenuHelper(JMenuBar menuBar, List<JMenuItem> items, int existingCount) { for (JMenuItem item : items) { if (item != null) { menuBar.add(item, menuBar.getMenuCount() - existingCount); } } menuBar.revalidate(); }
private void removeMenuHelper(JMenuBar menuBar, List<JMenuItem> items) { for (JMenuItem item : items) { if (item != null) { menuBar.remove(item); } } menuBar.revalidate(); }
public void addMenu(Menu m) { JMenuBar jmb = getSwingMenu(); // If we have a help menu, add new menus add the last - 1 position, // otherwise we append at the end. if (helpMenu != null) { jmb.add(getSwingMenu(m), jmb.getComponentCount() - 1); } else { jmb.add(getSwingMenu(m)); } // Force re-layout. jmb.revalidate(); }
@ScriptFunction(jsDoc = CLEAR_JSDOC) @Override public void clear() { super.removeAll(); super.revalidate(); super.repaint(); }
public void addHelpMenu(Menu m) { // Remove old help menu, if there is one. JMenuBar jmb = getSwingMenu(); if (helpMenu != null) { jmb.remove(getSwingMenu(helpMenu)); } // Add new help menu. helpMenu = m; jmb.add(getSwingMenu(m)); // Force re-layout. jmb.revalidate(); }
@ScriptFunction(jsDoc = REMOVE_JSDOC, params = {"component"}) @Override public void remove(JComponent aComp) { super.remove(aComp); super.revalidate(); super.repaint(); }
@Override public void run() { final JMenuBar menuBar = getMainMenuBar(); if ( menuBar != null ) { final JMenu menu = ( JMenu )aProvider.getComponent(); menuBar.add( menu ); aProvider.addedToContainer(); menuBar.revalidate(); menuBar.repaint(); } } } );
/** * Refresh main menu with currently loaded GUI plugins. * * @since 0.3.1 */ public static void refreshMenu() { instance.usedKeyStrokes.clear(); while (instance.menu.getComponentCount() > 2) instance.menu.remove(1); for (Class<? extends Plugin> plugin : PluginSystem.getPlugins(IGUIModule.class)) { try { IGUIModule pluginInstance = ((Class<? extends IGUIModule>) plugin).newInstance(); String menuName = pluginInstance.getMenu(); JMenuItem item = getCurrentMenu(instance.menu, null, menuName); item.addActionListener(instance); KeyStroke keystroke = pluginInstance.getKeyStroke(); if (keystroke != null && !instance.usedKeyStrokes.contains(keystroke)) { item.setAccelerator(keystroke); instance.usedKeyStrokes.add(keystroke); } instance.itemObject.put(item, plugin); } catch (NoClassDefFoundError e) { throw new Net2PlanException("Class " + e.getMessage() + " cannot be found. A dependence for " + plugin.getSimpleName() + " is missing?"); } catch (Throwable e) { throw new RuntimeException(e); } } instance.menu.revalidate(); }
menuBar.revalidate(); menuBar.repaint();
@Override public void run() { final JMenuBar menuBar = getMainMenuBar(); if ( menuBar != null ) { aProvider.removedFromContainer(); menuBar.remove( aProvider.getComponent() ); menuBar.revalidate(); menuBar.repaint(); } } } );
menubar.add(item); menubar.revalidate(); menubar.repaint();
menubar.add(item); menubar.revalidate(); menubar.repaint();