WSoundServer-soundset

   1 {
   2   AppExit = appexit.wav;
   3   AppStart = appstart.wav;
   4   Hide = hide.wav;
   5   Iconify = iconify.wav;
   6   Maximize = maximize.wav;
   7   UnMaximize = unmaximize.wav;
   8   Shade = shade.wav;
   9   Startup = appstart.wav;
  10   UnHide = unhide.wav;
  11   DeIconify = deiconify.wav;
  12   UnShade = unshade.wav;
  13   UserDefined = replaceme.wav;
  14 }