workspace configuration
if a new workspace is created using the “add workspace” menu entry the new workspace is not visible in the list of workspaces. A logout is required to see the workspace
(from redmine: issue id 1295, created on 2013-04-04 by Christian.Glaser, closed on 2013-12-18)