This is the name of the workspace settings file opened for viewing or editing.