protected void paintBackground(Graphics g, JMenuItem menuItem, Color bgColor) {
if (menuItem.isOpaque()) {
int w = menuItem.getWidth();
int h = menuItem.getHeight();
paintBackground(g, menuItem, 0, 0, w, h);
}
}
public void processMouseEvent(
JMenuItem item, MouseEvent e, MenuElement path[], MenuSelectionManager manager) {
Point p = e.getPoint();
if (p.x >= 0 && p.x < item.getWidth() && p.y >= 0 && p.y < item.getHeight()) {
if (e.getID() == MouseEvent.MOUSE_RELEASED) {
manager.clearSelectedPath();
item.doClick(0);
item.setArmed(false);
} else manager.setSelectedPath(path);
} else if (item.getModel().isArmed()) {
MenuElement newPath[] = new MenuElement[path.length - 1];
int i, c;
for (i = 0, c = path.length - 1; i < c; i++) newPath[i] = path[i];
manager.setSelectedPath(newPath);
}
}