curItem.setSelected(true); pool.addPropertyChangeListener( getWorkspacePoolListener(workspace2Menu, menu2Workspace, workspace2Listener, currentDeskRef, menu)
curItem.setSelected(true); pool.addPropertyChangeListener( getWorkspacePoolListener(workspace2Menu, menu2Workspace, workspace2Listener, currentDeskRef, menu)