# HG changeset patch
# User pontscho
# Date 1005760118 0
# Node ID 26ebb636f8933be87b84ec76f27c4f3ebb40794a
# Parent  6419efe7232b9121cc22e38b36564c6e73de8b8e
new.

diff -r 6419efe7232b -r 26ebb636f893 Gui/mplayer/gtk/menu.h
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Gui/mplayer/gtk/menu.h	Wed Nov 14 17:48:38 2001 +0000
@@ -0,0 +1,13 @@
+#ifndef __GUI_MENU_H
+#define __GUI_MENU_H
+
+#include <gtk/gtk.h>
+
+extern GtkWidget * DVDSubMenu;
+
+extern GtkWidget * AddMenuItem( GtkWidget * Menu,char * label,int Number );
+extern GtkWidget * AddSubMenu( GtkWidget * Menu,char * label );
+extern GtkWidget * AddSeparator( GtkWidget * Menu );
+extern GtkWidget * create_PopUpMenu( void );
+
+#endif
\ No newline at end of file