Options Menu

  The items on the Options menu allow you to tailor the
  DECsound environment in the following ways:

  *   Specify whether a recording plays repeatedly

  *   Specify your preferences for the settings that DECsound
      applies at startup

  *   Save your preferences so that DECsound applies them in
      future sessions

  *   Restore your last saved preferences

  For more information about Options menu items, double click
  on an item in the list of additional topics.

  Additional topics:

  *   Auto Repeat

  *   Settings...

  *   Save Settings

  *   Restore Saved Settings

  *   DECsound Menus

  *   Overview of DECsound