currentDeskRef[0] = pool.getCurrentWorkspace(); Workspace[] workspaces = pool.getWorkspaces(); for (int i = 0; i < workspaces.length; i++) { attachWorkspace(workspaces[i], currentDeskRef, workspace2Menu,
currentDeskRef[0] = pool.getCurrentWorkspace(); Workspace[] workspaces = pool.getWorkspaces(); for (int i = 0; i < workspaces.length; i++) { attachWorkspace(workspaces[i], currentDeskRef, workspace2Menu,