Editing the Settings of a Workspace