- /*
 - * @(#)SynthRadioButtonMenuItemUI.java 1.3 03/01/23
 - *
 - * Copyright 2003 Sun Microsystems, Inc. All rights reserved.
 - * SUN PROPRIETARY/CONFIDENTIAL. Use is subject to license terms.
 - */
 - package com.sun.java.swing.plaf.gtk;
 - import javax.swing.*;
 - import java.awt.*;
 - import java.awt.event.*;
 - import javax.swing.plaf.*;
 - import javax.swing.border.*;
 - /**
 - * BasicRadioButtonMenuItem implementation
 - *
 - * @version 1.3, 01/23/03 (based on BasicRadioButtonMenuItem v 1.43)
 - * @author Georges Saab
 - * @author David Karlton
 - */
 - class SynthRadioButtonMenuItemUI extends SynthMenuItemUI {
 - public static ComponentUI createUI(JComponent b) {
 - return new SynthRadioButtonMenuItemUI();
 - }
 - protected String getPropertyPrefix() {
 - return "RadioButtonMenuItem";
 - }
 - 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);
 - }
 - }
 - }