The Workspace Options property sheet is opened by:
Tool Bar: 
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