gui.ggo

   1 #------------------------
   2 section "general options"
   3 #------------------------
   4
   5 option "config_file" c
   6 #~~~~~~~~~~~~~~~~~~~~~~
   7 "(default='~/.paraslash/gui.conf')"
   8
   9         string typestr="filename"
  10         optional
  11
  12 option "loglevel" l
  13 #~~~~~~~~~~~~~~~~~~
  14  "set loglevel (0-6)"
  15
  16         int typestr="level"
  17         default="4"
  18         optional
  19
  20 option "timeout" t
  21 #~~~~~~~~~~~~~~~~~
  22 "set timeout"
  23
  24         int typestr="milliseconds"
  25         default="30"
  26         optional
  27
  28 option "stat_cmd" s
  29 #~~~~~~~~~~~~~~~~~~
  30 "command to read server and audiod status
  31 data from"
  32
  33         string typestr="command"
  34         default="para_audioc stat"
  35         optional
  36
  37 #---------------------------------
  38 section "mapping keys to commands"
  39 #---------------------------------
  40
  41 option "key_map" k
  42 #~~~~~~~~~~~~~~~~~
  43
  44 "Map key k to command c using mode m. Mode
  45 may be d, x or p for display, external and
  46 paraslash commands, respectively. Of course,
  47 this option may be given multiple times, one
  48 for each key mapping."
  49
  50         string typestr="k:m:c"
  51         optional
  52         multiple