@Override public void run() { burpMenuBar.remove(replicatorMenu); burpMenuBar.repaint(); } });
public void added(IExtension[] extensions) { OWLReasonerManagerImpl reasonerManager = (OWLReasonerManagerImpl) getOWLModelManager().getOWLReasonerManager(); Set<ProtegeOWLReasonerPlugin> plugins = new HashSet<>(); for (IExtension extension : extensions) { plugins.add(new ProtegeOWLReasonerPluginJPFImpl(getOWLModelManager(), extension)); } reasonerManager.addReasonerFactories(plugins); rebuildReasonerMenu(menuBar); menuBar.repaint(); }
public void extensionUnloaded() { JMenuBar burpMenuBar = getBurpFrame().getJMenuBar(); burpMenuBar.remove(menuButton); burpMenuBar.repaint(); } }
public void extensionUnloaded() { JMenuBar jMenuBar = Utilities.getBurpFrame().getJMenuBar(); jMenuBar.remove(menuButton); jMenuBar.repaint(); } }
@ScriptFunction(jsDoc = REMOVE_JSDOC, params = {"component"}) @Override public void remove(JComponent aComp) { super.remove(aComp); super.revalidate(); super.repaint(); }
public void added(IExtension[] extensions) { OWLReasonerManagerImpl reasonerManager = (OWLReasonerManagerImpl) getOWLModelManager().getOWLReasonerManager(); Set<ProtegeOWLReasonerPlugin> plugins = new HashSet<>(); for (IExtension extension : extensions) { plugins.add(new ProtegeOWLReasonerPluginJPFImpl(getOWLModelManager(), extension)); } reasonerManager.addReasonerFactories(plugins); rebuildReasonerMenu(menuBar); menuBar.repaint(); }
public void added(IExtension[] extensions) { OWLReasonerManagerImpl reasonerManager = (OWLReasonerManagerImpl) getOWLModelManager().getOWLReasonerManager(); Set<ProtegeOWLReasonerPlugin> plugins = new HashSet<ProtegeOWLReasonerPlugin>(); for (IExtension extension : extensions) { plugins.add(new ProtegeOWLReasonerPluginJPFImpl(getOWLModelManager(), extension)); } reasonerManager.addReasonerFactories(plugins); rebuildReasonerMenu(menuBar); menuBar.repaint(); }
@ScriptFunction(jsDoc = CLEAR_JSDOC) @Override public void clear() { super.removeAll(); super.revalidate(); super.repaint(); }
public void added(IExtension[] extensions) { OWLReasonerManagerImpl reasonerManager = (OWLReasonerManagerImpl) getOWLModelManager().getOWLReasonerManager(); Set<ProtegeOWLReasonerPlugin> plugins = new HashSet<ProtegeOWLReasonerPlugin>(); for (IExtension extension : extensions) { plugins.add(new ProtegeOWLReasonerPluginJPFImpl(getOWLModelManager(), extension)); } reasonerManager.addReasonerFactories(plugins); rebuildReasonerMenu(menuBar); menuBar.repaint(); } public void added(IExtensionPoint[] extensionPoints) {
@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(); } } } );
menuBar.repaint();
@Override public void extensionUnloaded() { // unregister menu JMenuBar burpMenuBar = rootPane.getJMenuBar(); BurpExtender.getCallbacks().printOutput("Unregistering menu"); burpMenuBar.remove(autoRepeaterJMenu); burpMenuBar.repaint(); }
this.getJMenuBar().repaint();
@Override public void run() { final JMenuBar menuBar = getMainMenuBar(); if ( menuBar != null ) { aProvider.removedFromContainer(); menuBar.remove( aProvider.getComponent() ); menuBar.revalidate(); menuBar.repaint(); } } } );
this.getJMenuBar().repaint();
this.getJMenuBar().repaint();
private void doUpdateProcessMenu() { if ( _process_pool.size() > 0 ) { if ( _process_menu == null ) { _process_menu = createMenu( "", getConfiguration() ); _process_menu.setForeground( Color.RED ); } _process_menu.removeAll(); final String text = "processes running: " + _process_pool.size(); _process_menu.setText( text ); _jmenubar.add( _process_menu ); for( int i = 0; i < _process_pool.size(); ++i ) { final ProcessRunning p = _process_pool.getProcessByIndex( i ); _process_menu.add( customizeJMenuItem( new JMenuItem( p.getName() + " [" + p.getStart() + "]" ) ) ); } } else { if ( _process_menu != null ) { _process_menu.removeAll(); _jmenubar.remove( _process_menu ); } } _jmenubar.validate(); _jmenubar.repaint(); repaint(); }
menubar.repaint();
/** * Rescaning our bookmarks and remaking menu items * * @param bookmarkMenu menu Jmenu */ public void rescan(JMenu bookmarkMenu) { bookmarkMenu.removeAll(); // removing old menus try { setBookmarks(bookmarkMenu); // making new int onPanel = SparkManager.getMainWindow().getMenu().getComponentIndex(bookmarkMenu); if (onPanel < 0) { if (bookmarkMenu.getMenuComponentCount() > 0) { int menuCount = SparkManager.getMainWindow().getMenu().getMenuCount(); SparkManager.getMainWindow().getMenu().add(bookmarkMenu, menuCount - 2); } } if (onPanel >= 0) { if (bookmarkMenu.getMenuComponentCount() <= 0) { SparkManager.getMainWindow().getMenu().remove(bookmarkMenu); } } SparkManager.getMainWindow().getMenu().invalidate(); SparkManager.getMainWindow().getMenu().validate(); SparkManager.getMainWindow().getMenu().repaint(); } catch (XMPPException | SmackException | InterruptedException ex) { Log.error(ex); } }