Lines Matching refs:MenuSelectionManager
416 * <code>MenuSelectionManager</code> and changes the menu
418 * <code>MenuSelectionManager</code>'s API.
421 * This is done automatically by the <code>MenuSelectionManager</code>.
425 * @param manager the <code>MenuSelectionManager</code>
427 public void processMouseEvent(MouseEvent e,MenuElement path[],MenuSelectionManager manager) {
440 * <code>MenuSelectionManager</code> and changes the menu selection,
441 * if necessary, by using <code>MenuSelectionManager</code>'s API.
444 * This is done automatically by the <code>MenuSelectionManager</code>.
448 * @param manager the <code>MenuSelectionManager</code>
450 public void processKeyEvent(KeyEvent e,MenuElement path[],MenuSelectionManager manager) {
663 * Called by the <code>MenuSelectionManager</code> when the
670 * @see MenuSelectionManager#setSelectedPath(MenuElement[])
856 MenuSelectionManager.defaultManager().getSelectedPath();