59 |
public BasicRadioButtonMenuItemUI() |
public BasicRadioButtonMenuItemUI() |
60 |
{ |
{ |
61 |
super(); |
super(); |
|
UIDefaults defaults = UIManager.getLookAndFeelDefaults(); |
|
|
checkIcon = defaults.getIcon("RadioButtonMenuItem.checkIcon"); |
|
62 |
} |
} |
63 |
|
|
64 |
/** |
/** |
96 |
MenuElement[] path, |
MenuElement[] path, |
97 |
MenuSelectionManager manager) |
MenuSelectionManager manager) |
98 |
{ |
{ |
99 |
|
// TODO: May not be implemented properly. |
100 |
item.processMouseEvent(e, path, manager); |
item.processMouseEvent(e, path, manager); |
101 |
} |
} |
102 |
} |
} |