53 |
*/ |
*/ |
54 |
public class BasicCheckBoxMenuItemUI extends BasicMenuItemUI |
public class BasicCheckBoxMenuItemUI extends BasicMenuItemUI |
55 |
{ |
{ |
56 |
|
|
57 |
|
/** |
58 |
|
* Creates a new BasicCheckBoxMenuItemUI object. |
59 |
|
*/ |
60 |
|
public BasicCheckBoxMenuItemUI() |
61 |
|
{ |
62 |
|
super(); |
63 |
|
} |
64 |
|
|
65 |
/** |
/** |
66 |
* Factory method to create a BasicCheckBoxMenuItemUI for the given {@link |
* Factory method to create a BasicCheckBoxMenuItemUI for the given {@link |
67 |
* JComponent}, which should be a JCheckBoxMenuItem |
* JComponent}, which should be a JCheckBoxMenuItem |
86 |
} |
} |
87 |
|
|
88 |
/** |
/** |
|
* This method installs the defaults that are defined in the Basic look and |
|
|
* feel for this JRadioButtonMenuItem |
|
|
*/ |
|
|
protected void installDefaults() |
|
|
{ |
|
|
super.installDefaults(); |
|
|
|
|
|
UIDefaults defaults = UIManager.getLookAndFeelDefaults(); |
|
|
checkIcon = defaults.getIcon("CheckBoxMenuItem.checkIcon"); |
|
|
} |
|
|
|
|
|
/** |
|
89 |
* DOCUMENT ME! |
* DOCUMENT ME! |
90 |
* |
* |
91 |
* @param item DOCUMENT ME! |
* @param item DOCUMENT ME! |
97 |
MenuElement[] path, |
MenuElement[] path, |
98 |
MenuSelectionManager manager) |
MenuSelectionManager manager) |
99 |
{ |
{ |
100 |
|
// TODO: May not be implemented properly. |
101 |
|
item.processMouseEvent(e, path, manager); |
102 |
} |
} |
103 |
} |
} |