The Settings Menu


   Save Icons?  : If you select this item, icons will be saved with your
                  datafiles so that the menus can be started from
                  Workbench with a click of a button.

   Save Settings: Save the current state of the Save Icons switch in the
                  "s:ButtonMenu.config" file.

[Contents]
HTML Conversion by AG2HTML.pl V2.941126c, perl $RCSfile: perl.c,v $$Revision: 4.0.1.6 $$Date: 91/11/11 16:38:45 $ Patch level: 19 & witbrock@cs.cmu.edu