private SMenu createWorkspacesMenu() { SMenu workspacesMenu = new SMenu(getTranslationProvider().getTranslation( "workspaces", getLocale())); workspacesMenu.setIcon(getIconFactory().getIcon( getWorkspacesMenuIconImageUrl(), IIconFactory.SMALL_ICON_SIZE)); for (String workspaceName : getWorkspaceNames()) { IViewDescriptor workspaceViewDescriptor = getWorkspace(workspaceName) .getViewDescriptor(); SMenuItem workspaceMenuItem = new SMenuItem(new WorkspaceSelectionAction( workspaceName, workspaceViewDescriptor)); workspacesMenu.add(workspaceMenuItem); } SMenuItem separator = new SMenuItem("---------"); separator.setBorder(new SLineBorder(1)); workspacesMenu.add(separator); workspacesMenu.add(new SMenuItem(new QuitAction())); return workspacesMenu; }