]> git.tuebingen.mpg.de Git - paraslash.git/blob - ggo/gui.m4
gui: Allow selecting a startup theme.
[paraslash.git] / ggo / gui.m4
1 include(header.m4)
2 define(CURRENT_PROGRAM,para_gui)
3
4 <qu>
5 #########################
6 section "general options"
7 #########################
8 </qu>
9
10 include(config_file.m4)
11 include(loglevel.m4)
12
13 <qu>
14 option "timeout" t
15 #~~~~~~~~~~~~~~~~~
16 "set timeout"
17
18         int typestr="milliseconds"
19         default="30"
20         optional
21
22 option "theme" T
23 #~~~~~~~~~~~~~~~
24 "select startup theme"
25         string typestr = "name"
26         optional
27         details = "
28         If this option is not given the default theme is used.
29         If the given name is not a valid theme name, the list of
30         available themes is printed and the program terminates.
31 "
32
33 option "stat_cmd" s
34 #~~~~~~~~~~~~~~~~~~
35 "command to read server and audiod status
36 data from"
37
38         string typestr="command"
39         default="para_audioc -- stat -p"
40         optional
41
42 #---------------------------------
43 section "mapping keys to commands"
44 #---------------------------------
45
46 option "key_map" k
47 #~~~~~~~~~~~~~~~~~
48
49 "Map key k to command c using mode m. Mode
50 may be d, x or p for display, external and
51 paraslash commands, respectively. Of course,
52 this option may be given multiple times, one
53 for each key mapping."
54
55         string typestr="k:m:c"
56         optional
57         multiple
58 </qu>