The Workspace Editor

1 The Workspace Editor
   Introduction
   How To..
   Workspace Settings
      Search Paths
      Resource Locations
      Directory Maps
      Setup
   File Menu