Workspace options...

Select this option if you want to look at, or change, the settings for the current workspace. The Workspace Options dialog is opened.