The Workspace Options property window is opened from the workspace with the following command:

Button	Menu
	Options-Workspace

Workspace Options are a collection of global settings that apply to the whole workspace.  By contrast, there is a different set of Library Options stored with each library.

Pages

Orientation

Midi Setup

General

Display

Sounds

Layout Options