1. /*
  2. * @(#)BasicCheckBoxMenuItemUI.java 1.53 03/12/19
  3. *
  4. * Copyright 2004 Sun Microsystems, Inc. All rights reserved.
  5. * SUN PROPRIETARY/CONFIDENTIAL. Use is subject to license terms.
  6. */
  7. package javax.swing.plaf.basic;
  8. import java.awt.*;
  9. import java.awt.event.*;
  10. import javax.swing.*;
  11. import javax.swing.plaf.*;
  12. import javax.swing.border.*;
  13. import java.io.Serializable;
  14. /**
  15. * BasicCheckboxMenuItem implementation
  16. *
  17. * @version 1.53 12/19/03
  18. * @author Georges Saab
  19. * @author David Karlton
  20. * @author Arnaud Weber
  21. */
  22. public class BasicCheckBoxMenuItemUI extends BasicMenuItemUI {
  23. public static ComponentUI createUI(JComponent c) {
  24. return new BasicCheckBoxMenuItemUI();
  25. }
  26. protected String getPropertyPrefix() {
  27. return "CheckBoxMenuItem";
  28. }
  29. public void processMouseEvent(JMenuItem item,MouseEvent e,MenuElement path[],MenuSelectionManager manager) {
  30. Point p = e.getPoint();
  31. if(p.x >= 0 && p.x < item.getWidth() &&
  32. p.y >= 0 && p.y < item.getHeight()) {
  33. if(e.getID() == MouseEvent.MOUSE_RELEASED) {
  34. manager.clearSelectedPath();
  35. item.doClick(0);
  36. } else
  37. manager.setSelectedPath(path);
  38. } else if(item.getModel().isArmed()) {
  39. MenuElement newPath[] = new MenuElement[path.length-1];
  40. int i,c;
  41. for(i=0,c=path.length-1;i<c;i++)
  42. newPath[i] = path[i];
  43. manager.setSelectedPath(newPath);
  44. }
  45. }
  46. }