Updates.
Bugfix for ws_prior mapping.
Integrate menus better, name default workspaces.