X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=ggo%2Fgui.m4;h=3a59807f6419c00f4bc9ccc26140e8cce893f0c1;hp=3f31dc1a202ee0eb61d5b8373531b6a80234a6a6;hb=7a115f007020abedf07ab71ef17d0d07df1a55f8;hpb=29a8e4384c08cb4e295e5b82994e62bf247a0ef7

diff --git a/ggo/gui.m4 b/ggo/gui.m4
index 3f31dc1a..3a59807f 100644
--- a/ggo/gui.m4
+++ b/ggo/gui.m4
@@ -19,6 +19,17 @@ option "timeout" t
 	default="30"
 	optional
 
+option "theme" T
+#~~~~~~~~~~~~~~~
+"select startup theme"
+	string typestr = "name"
+	optional
+	details = "
+	If this option is not given the default theme is used.
+	If the given name is not a valid theme name, the list of
+	available themes is printed and the program terminates.
+"
+
 option "stat_cmd" s
 #~~~~~~~~~~~~~~~~~~
 "command to read server and audiod status