+/*
+ * $Header$
+ *
+ * Timed menu plugin
+ * Provides a menu from either a periodically executing process or by
+ * periodically checking the timestamp of a file and loading if it has changed.
+ *
+ * Examples:
+ * Piped timed menu:
+ * rc3:
+ * <menu id="name" label="Piped menu" plugin="timed_menu" timeout="120"
+ * command="obcommand.py -c bsetbg -d ~/.openbox/backgrounds/" />
+ * timeout is in seconds
+ *
+ * Output of command:
+ * <timed_menu>
+ * <item label="GLOVE.png">
+ * <action name="execute">
+ * <execute>
+ * bsetbg "/home/woodblock/.openbox/backgrounds/GLOVE.png"
+ * </execute>
+ * </action>
+ * </item>
+ * </fifo_menu>
+ *
+ * stat() menu:
+ * <menu id="name" label="Stat menu" plugin="timed_menu" type="stat"
+ * timeout="120" file="~/.openbox/stat_menu" />
+ * stat_menu contents: same as timed menu
+ *
+ */
+