X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=ggo%2Fgui.m4;fp=ggo%2Fgui.m4;h=0000000000000000000000000000000000000000;hp=895229b22f8ef68cf7fa143c525eb90310c75a79;hb=2829202e393e4b0095d62739910ae56f04e83326;hpb=66b0f375732897cb76cfbefbb03ed951c4ed24ba

diff --git a/ggo/gui.m4 b/ggo/gui.m4
deleted file mode 100644
index 895229b2..00000000
--- a/ggo/gui.m4
+++ /dev/null
@@ -1,67 +0,0 @@
-include(header.m4)
-define(CURRENT_PROGRAM,para_gui)
-define(DEFAULT_CONFIG_FILE,~/.paraslash/gui.conf)
-
-<qu>
-#########################
-section "General options"
-#########################
-</qu>
-
-include(config_file.m4)
-include(loglevel.m4)
-
-<qu>
-option "timeout" t
-#~~~~~~~~~~~~~~~~~
-"set timeout"
-int typestr = "milliseconds"
-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 status items from"
-string typestr = "command"
-default = "para_audioc -- stat -p"
-optional
-details = "
-	In order to run para_gui on a host on which no para_audiod
-	is running (hence the default command does not work), the
-	command
-
-		para_client -- stat -p
-
-	may be used. This command prints less information though.
-	In particular, no timing information about the current audio
-	file is printed.
-"
-
-#---------------------------------
-section "Mapping keys to commands"
-#---------------------------------
-
-option "key_map" k
-#~~~~~~~~~~~~~~~~~
-"Map key k to command c using mode m."
-
-string typestr = "k:m:c"
-optional
-multiple
-details = "
-	Mode may be d, x or p for display, external and paraslash
-	commands, respectively. Of course, this option may be given
-	multiple times, one for each key mapping.
-"
-</qu>