/**
* removes the specified radio menu button from the menu
*
* @param menuButton the JRadioButtonMenuItem to remove
*/
public void remove(JRadioButtonMenuItem menuButton) {
frameRadioButtonMenuItemGroup.remove(menuButton);
super.remove(menuButton);
// cannot simply remove the radio menu button, as need to renumber the
// keyboard shortcut keys as well. Hence, a call to refreshMenu is in order...
refreshMenu(); // refresh the mnemonics associated with the other items
}
