Lines Matching refs:MenuSelectionManager
252 MenuSelectionManager.defaultManager().processKeyEvent(evt);
783 MenuSelectionManager.defaultManager().setSelectedPath(me);
801 MenuSelectionManager.defaultManager().clearSelectedPath();
1358 * @see MenuElement#processMouseEvent(MouseEvent, MenuElement[], MenuSelectionManager)
1360 public void processMouseEvent(MouseEvent event,MenuElement path[],MenuSelectionManager manager) {}
1364 * <code>MenuSelectionManager</code> and changes the menu selection,
1365 * if necessary, by using <code>MenuSelectionManager</code>'s API.
1368 * This is done automatically by the <code>MenuSelectionManager</code>.
1372 * @param manager the <code>MenuSelectionManager</code>
1375 MenuSelectionManager manager) {