/** Initializes listeners atc to the given workspace */ void attachWorkspace (Workspace workspace, Workspace[] currentDeskRef, Hashtable workspace2Menu, Hashtable menu2Workspace, Hashtable workspace2Listener, JMenu menu) { // bugfix #6116 - change from getName() to getDisplayName() JRadioButtonMenuItem menuItem = new JRadioButtonMenuItem(); Actions.setMenuText(menuItem, workspace.getDisplayName(), true); HelpCtx.setHelpIDString (menuItem, WorkspaceSwitchAction.class.getName()); ActionListener listener = createActionListener(menuItem, currentDeskRef, menu2Workspace, workspace2Menu); menuItem.addActionListener(listener); menu2Workspace.put(listener, workspace); workspace2Listener.put(workspace, listener); workspace2Menu.put(workspace, menuItem); workspace.addPropertyChangeListener(createNameListener(menuItem)); menu.add(menuItem); }
/** Initializes listeners atc to the given workspace */ void attachWorkspace (Workspace workspace, Workspace[] currentDeskRef, Hashtable workspace2Menu, Hashtable menu2Workspace, Hashtable workspace2Listener, JMenu menu) { // bugfix #6116 - change from getName() to getDisplayName() JRadioButtonMenuItem menuItem = new JRadioButtonMenuItem(); Actions.setMenuText(menuItem, workspace.getDisplayName(), true); HelpCtx.setHelpIDString (menuItem, WorkspaceSwitchAction.class.getName()); ActionListener listener = createActionListener(menuItem, currentDeskRef, menu2Workspace, workspace2Menu); menuItem.addActionListener(listener); menu2Workspace.put(listener, workspace); workspace2Listener.put(workspace, listener); workspace2Menu.put(workspace, menuItem); workspace.addPropertyChangeListener(createNameListener(menuItem)); menu.add(menuItem); }