added new workspace menu item. gui now checks whether workspace has changed and asks if save desired before exiting, opening a workspace, or opening a new workspace.