The name of the default workspace can be given to the editor with the --workspace option.