SynthRadioButtonMenuItemUIpublic class SynthRadioButtonMenuItemUI extends SynthMenuItemUI | Synth's RadioButtonMenuItemUI. |
| Methods Summary |
|---|
| public static javax.swing.plaf.ComponentUI | createUI(javax.swing.JComponent b)
return new SynthRadioButtonMenuItemUI();
| | protected java.lang.String | getPropertyPrefix()
return "RadioButtonMenuItem";
| | void | paintBackground(javax.swing.plaf.synth.SynthContext context, java.awt.Graphics g, javax.swing.JComponent c)
context.getPainter().paintRadioButtonMenuItemBackground(context, g, 0,
0, c.getWidth(), c.getHeight());
| | public void | paintBorder(javax.swing.plaf.synth.SynthContext context, java.awt.Graphics g, int x, int y, int w, int h)
context.getPainter().paintRadioButtonMenuItemBorder(context, g, x,
y, w, h);
| | public void | processMouseEvent(javax.swing.JMenuItem item, java.awt.event.MouseEvent e, javax.swing.MenuElement[] path, javax.swing.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);
}
|
|
