menuui.java

用于java swing的皮肤软件

								me = new MenuElement[3];
								me[0] = (MenuElement)cnt;
								me[1] = menu;
								me[2] = (MenuElement) menu.getPopupMenu();
						  }
						  defaultManager.setSelectedPath(me);
		}
				} else {
					 MenuElement path[] = defaultManager.getSelectedPath();
					 if(path.length > 0 && path[path.length-1] == menu) {
						  appendPath(path, menu.getPopupMenu());
					 }
				}
		  }

	public boolean isEnabled() {
		 return menu.getModel().isEnabled();
	}
	 }


	 private class PropertyChangeHandler implements PropertyChangeListener {
		  public void propertyChange(PropertyChangeEvent e) {
		 String prop = e.getPropertyName();
		 if(prop.equals(AbstractButton.MNEMONIC_CHANGED_PROPERTY)) {
		updateMnemonicBinding();
		 }
	}
	 }

	 /**
	  * Instantiated and used by a menu item to handle the current menu selection
	  * from mouse events. A MouseInputHandler processes and forwards all mouse events
	  * to a shared instance of the MenuSelectionManager. 
	  * <p>
	  * This class is protected so that it can be subclassed by other look and
	  * feels to implement their own mouse handling behavior. All overridden
	  * methods should call the parent methods so that the menu selection
	  * is correct.
	  *
	  * @see javax.swing.MenuSelectionManager
	  * @since 1.4
	  */
	 protected class MouseInputHandler implements MouseInputListener {
	public void mouseClicked(MouseEvent e) {}

	/**
	 * Invoked when the mouse has been clicked on the menu. This
	 * method clears or sets the selection path of the
	 * MenuSelectionManager.
	 * 
	 * @param e the mouse event
	 */
		  public void mousePressed(MouseEvent e) {
		 JMenu menu = (JMenu)menuItem;
		 if (!menu.isEnabled())
		return;

		 MenuSelectionManager manager = 
		MenuSelectionManager.defaultManager();
				if(menu.isTopLevelMenu()) {
		if(menu.isSelected()) {
			 manager.clearSelectedPath();
		} else {
			 Container cnt = menu.getParent();
			 if(cnt != null && cnt instanceof JMenuBar) {
			MenuElement me[] = new MenuElement[2];
			me[0]=(MenuElement)cnt;
			me[1]=menu;
			manager.setSelectedPath(me);
			 }
		}
		 }

				MenuElement selectedPath[] = manager.getSelectedPath();
				if (selectedPath.length > 0 && 
					 selectedPath[selectedPath.length-1] != menu.getPopupMenu()) {

		if(menu.isTopLevelMenu() || 
			menu.getDelay() == 0) {
						  appendPath(selectedPath, menu.getPopupMenu());
		} else {
			 setupPostTimer(menu);
		}
				}
		  }

	/**
	 * Invoked when the mouse has been released on the menu. Delegates the 
	 * mouse event to the MenuSelectionManager.
	 *
	 * @param e the mouse event
	 */
	public void mouseReleased(MouseEvent e) {
		 JMenu menu = (JMenu)menuItem;
		 if (!menu.isEnabled())
		return;
		 MenuSelectionManager manager = 
		MenuSelectionManager.defaultManager();
		 manager.processMouseEvent(e);
		 if (!e.isConsumed())
		manager.clearSelectedPath();		
	}

	/**
	 * Invoked when the cursor enters the menu. This method sets the selected
	 * path for the MenuSelectionManager and handles the case
	 * in which a menu item is used to pop up an additional menu, as in a 
	 * hierarchical menu system.
	 * 
	 * @param e the mouse event; not used
	 */ 
	public void mouseEntered(MouseEvent e) {
		 JMenu menu = (JMenu)menuItem;
		 if (!menu.isEnabled())
		return;

		 MenuSelectionManager manager = 
		MenuSelectionManager.defaultManager();
		 MenuElement selectedPath[] = manager.getSelectedPath();	    
		 if (!menu.isTopLevelMenu()) {
		if(!(selectedPath.length > 0 && 
			  selectedPath[selectedPath.length-1] == 
			  menu.getPopupMenu())) {
			 if(menu.getDelay() == 0) {
								appendPath(getPath(), menu.getPopupMenu());
						  } else {
			manager.setSelectedPath(getPath());
			setupPostTimer(menu);
			 }
		}
		 } else {
		if(selectedPath.length > 0 &&
			selectedPath[0] == menu.getParent()) {
			 MenuElement newPath[] = new MenuElement[3];
			 // A top level menu's parent is by definition 
			 // a JMenuBar
			 newPath[0] = (MenuElement)menu.getParent();
			 newPath[1] = menu;
			 newPath[2] = menu.getPopupMenu();
			 manager.setSelectedPath(newPath);
		}
		 }
	}
	public void mouseExited(MouseEvent e) {
	}
	
	/**
	 * Invoked when a mouse button is pressed on the menu and then dragged.
	 * Delegates the mouse event to the MenuSelectionManager.
	 *
	 * @param e the mouse event
	 * @see java.awt.event.MouseMotionListener#mouseDragged
	 */
	public void mouseDragged(MouseEvent e) {
		 JMenu menu = (JMenu)menuItem;
		 if (!menu.isEnabled())
		return;
		 MenuSelectionManager.defaultManager().processMouseEvent(e);
	}
	public void mouseMoved(MouseEvent e) {
	}
	 }

	 private static class MenuHandler implements MenuListener {
	public void menuSelected(MenuEvent e) {}
	public void menuDeselected(MenuEvent e) {}
	public void menuCanceled(MenuEvent e) {
		 JMenu m = (JMenu)e.getSource();
		 MenuSelectionManager manager = MenuSelectionManager.defaultManager();
		 if(manager.isComponentPartOfCurrentMenu(m))
		MenuSelectionManager.defaultManager().clearSelectedPath();
	}
	
	 }

	 /**
	  * As of Java 2 platform 1.4, this previously undocumented class
	  * is now obsolete. KeyBindings are now managed by the popup menu.
	  */
	 public class ChangeHandler implements ChangeListener {
		  public JMenu    menu;
	public MenuUI ui;
		  public boolean  isSelected = false;
		  public Component wasFocused;

		  public ChangeHandler(JMenu m, MenuUI ui) {
				menu = m;
				this.ui = ui;
		  }

		  public void stateChanged(ChangeEvent e) { }
	 }

	 private class MenuDragMouseHandler implements MenuDragMouseListener {
	public void menuDragMouseEntered(MenuDragMouseEvent e) {}
	public void menuDragMouseDragged(MenuDragMouseEvent e) {
		 if (menuItem.isEnabled() == false)
		return;
	    
		 MenuSelectionManager manager = e.getMenuSelectionManager();
		 MenuElement path[] = e.getPath();
	    
		 Point p = e.getPoint();
		 if(p.x >= 0 && p.x < menuItem.getWidth() &&
			 p.y >= 0 && p.y < menuItem.getHeight()) {
		JMenu menu = (JMenu)menuItem;
		MenuElement selectedPath[] = manager.getSelectedPath();
		if(!(selectedPath.length > 0 && 
			  selectedPath[selectedPath.length-1] == 
			  menu.getPopupMenu())) {
			 if(menu.isTopLevelMenu() || 
				 menu.getDelay() == 0  ||
				 e.getID() == MouseEvent.MOUSE_DRAGGED) {
								appendPath(path, menu.getPopupMenu());
			 } else {
			manager.setSelectedPath(path);
			setupPostTimer(menu);
			 }
		}
		 } else if(e.getID() == MouseEvent.MOUSE_RELEASED) {
		Component comp = manager.componentForPoint(e.getComponent(), e.getPoint());
		if (comp == null)
			 manager.clearSelectedPath();
		 }
	    
	}
	public void menuDragMouseExited(MenuDragMouseEvent e) {}
	public void menuDragMouseReleased(MenuDragMouseEvent e) {}	    
	 }

	 private class MenuKeyHandler implements MenuKeyListener {
	public void menuKeyTyped(MenuKeyEvent e) { 
		  int key = menuItem.getMnemonic();
		  if(key == 0)
				return;
		  MenuElement path[] = e.getPath();
		  if(lower(key) == lower((int)(e.getKeyChar()))) {
				JPopupMenu popupMenu = ((JMenu)menuItem).getPopupMenu();
				MenuElement sub[] = popupMenu.getSubElements();
				if(sub.length > 0) {
					 MenuSelectionManager manager = e.getMenuSelectionManager();
					 MenuElement newPath[] = new MenuElement[path.length + 2];
					 System.arraycopy(path,0,newPath,0,path.length);
					 newPath[path.length] = popupMenu;
					 newPath[path.length+1] = sub[0];
					 manager.setSelectedPath(newPath);
				}
				e.consume();
		  }
	}
	public void menuKeyPressed(MenuKeyEvent e) {}
	public void menuKeyReleased(MenuKeyEvent e) {}

	private int lower(int ascii) {
		 if(ascii >= 'A' && ascii <= 'Z')
		return ascii + 'a' - 'A';
		 else
		return ascii;
	}

	 }
}