# HG changeset patch
# User Chong Yidong <cyd@stupidchicken.com>
# Date 1217605466 0
# Node ID ba4a6844b73c1e7ad3bb30011131c46e88eb6a52
# Parent  88323368bc2ce315ae9547af309eb6bfe79aa0b4
Revert last change.

diff -r 88323368bc2c -r ba4a6844b73c src/xmenu.c
--- a/src/xmenu.c	Fri Aug 01 15:44:18 2008 +0000
+++ b/src/xmenu.c	Fri Aug 01 15:44:26 2008 +0000
@@ -146,6 +146,12 @@
 
 static int next_menubar_widget_id;
 
+/* For NS and NTGUI, these prototypes are defined in keyboard.h.  */
+#if defined (USE_X_TOOLKIT) || defined (USE_GTK)
+extern widget_value *xmalloc_widget_value P_ ((void));
+extern widget_value *digest_single_submenu P_ ((int, int, int));
+#endif
+
 /* This is set nonzero after the user activates the menu bar, and set
    to zero again after the menu bars are redisplayed by prepare_menu_bar.
    While it is nonzero, all calls to set_frame_menubar go deep.