Workspaces

Change request #284: