/** * Used to change the status of the saveHistory file menu item to reflect * whether any search statistics are available to save */ public void setSaveHistoryEnabled(boolean enabled) { if(saveHistory.isEnabled() != enabled) saveHistory.setEnabled(enabled); }
/** * Used to change the status of the tsurgeon file menu item to reflect * whether tsurgeon is enabled */ public void setTsurgeonEnabled(boolean enabled) { if (loadTsurgeon.isEnabled() != enabled) loadTsurgeon.setEnabled(enabled); }
/** * Used to change the status of the save file menu item to reflect * whether any trees are available to save. */ public void setSaveEnabled(boolean enabled) { if(saveMatches.isEnabled() != enabled) { saveMatches.setEnabled(enabled); saveSentences.setEnabled(enabled); } }
public @Override Component[] convertComponents(Component comp) { if (comp instanceof JMenuItem) { JMenuItem item = (JMenuItem) comp; if (Boolean.TRUE.equals(item.getClientProperty(DynamicMenuContent.HIDE_WHEN_DISABLED)) && !item.isEnabled()) { return new Component[0];
/** * * @return true if the add file or folders menu item is enabled. */ public boolean getAddEnabled() { return jMenuItemAddFileOrFolders.isEnabled(); }
/** * * @return true if the add file or folders menu item is enabled. */ public boolean getAddEnabled() { return jMenuItemAddFileOrFolders.isEnabled(); }
/** * * @return true if the remove file or folders menu item is enabled. */ public boolean getRemoveEnabled() { return jMenuItemRemoveFolder.isEnabled(); }
/** * * @return true if the remove file or folders menu item is enabled. */ public boolean getRemoveEnabled() { return jMenuItemRemoveFolder.isEnabled(); }
/** * Used to change the status of the saveHistory file menu item to reflect * whether any search statistics are available to save */ public void setSaveHistoryEnabled(boolean enabled) { if(saveHistory.isEnabled() != enabled) saveHistory.setEnabled(enabled); }
/** * Used to change the status of the tsurgeon file menu item to reflect * whether tsurgeon is enabled */ public void setTsurgeonEnabled(boolean enabled) { if (loadTsurgeon.isEnabled() != enabled) loadTsurgeon.setEnabled(enabled); }
/** * Used to change the status of the save file menu item to reflect * whether any trees are available to save. */ public void setSaveEnabled(boolean enabled) { if(saveMatches.isEnabled() != enabled) { saveMatches.setEnabled(enabled); saveSentences.setEnabled(enabled); } }
@ScriptFunction(jsDoc = ENABLED_JSDOC) @Override public boolean getEnabled() { return super.isEnabled(); }
@Override public void setVisible(boolean b) { if(b) { b = Stream.of(this.getComponents()) .filter(c -> c instanceof JMenuItem) .filter(c -> { return ((JMenuItem) c).isEnabled(); }).findAny().isPresent(); } super.setVisible(b); } }
private boolean menuItemIsEnabled(String identifier, String nodeIdentifier, String menuPath) { try { return createPopupMenuItem(identifier, nodeIdentifier, menuPath).isEnabled(); } finally { closePopup(); } }
public void click() { AssertAdapter.assertTrue("The menu item is not enabled, it cannot be activated", menuItem.isEnabled()); AbstractButton.doClick(menuItem); }
public void menuDragMouseDragged(MenuDragMouseEvent e) { if (menuItem != null && menuItem.isEnabled()) { MenuSelectionManager manager = e.getMenuSelectionManager(); MenuElement path[] = e.getPath(); manager.setSelectedPath(path); } }
public void menuDragMouseDragged(MenuDragMouseEvent e) { if (menuItem != null && menuItem.isEnabled()) { MenuSelectionManager manager = e.getMenuSelectionManager(); MenuElement path[] = e.getPath(); manager.setSelectedPath(path); } }
protected static void enableMenu (JMenu menu) { boolean enabled = false; for (int i = 0; i < menu.getItemCount(); ++i) { JMenuItem item = menu.getItem(i); if (item != null && item.isEnabled()) { enabled = true; break; } } menu.setEnabled(enabled); }
public void menuDragMouseDragged(MenuDragMouseEvent e) { if (menuItem != null && menuItem.isEnabled()) { MenuSelectionManager manager = e.getMenuSelectionManager(); MenuElement path[] = e.getPath(); manager.setSelectedPath(path); } }
public void popupMenuFilter() { Action cutAction = mediator.getApplication().getActionManager().getAction(CutAction.class); for (MenuElement element : popup.getSubElements()) { JMenuItem item = (JMenuItem) element; if (!item.getAction().equals(cutAction)) { item.setVisible(item.isEnabled()); } else { break; } } }