public void actionPerformed(java.awt.event.ActionEvent evt) { Workspace desk = (Workspace) menu2Workspace.get(this); if (desk == null) return; if (workspace2Menu.get(desk) == null) return; ((JRadioButtonMenuItem)workspace2Menu.get(desk)).setSelected(true); if (desk == currentDeskRef[0]) return; // deactivate old if present if (currentDeskRef[0] != null) { ((JRadioButtonMenuItem)workspace2Menu.get(currentDeskRef[0])). setSelected(false); } currentDeskRef[0] = desk; desk.activate (); } };
public void actionPerformed(java.awt.event.ActionEvent evt) { Workspace desk = (Workspace) menu2Workspace.get(this); if (desk == null) return; if (workspace2Menu.get(desk) == null) return; ((JRadioButtonMenuItem)workspace2Menu.get(desk)).setSelected(true); if (desk == currentDeskRef[0]) return; // deactivate old if present if (currentDeskRef[0] != null) { ((JRadioButtonMenuItem)workspace2Menu.get(currentDeskRef[0])). setSelected(false); } currentDeskRef[0] = desk; desk.activate (); } };