# HG changeset patch
# User Juanma Barranquero <lekktu@gmail.com>
# Date 1213055292 0
# Node ID bc8db28659e547d7d42959068e3504d11ed8b6f2
# Parent  9af235f0d5ecb0265ce8699d163f118c34209666
(digest_single_submenu): Declare extern.

diff -r 9af235f0d5ec -r bc8db28659e5 src/w32menu.c
--- a/src/w32menu.c	Mon Jun 09 23:43:45 2008 +0000
+++ b/src/w32menu.c	Mon Jun 09 23:48:12 2008 +0000
@@ -106,6 +106,7 @@
 static int next_menubar_widget_id;
 
 extern widget_value *xmalloc_widget_value P_ ((void));
+extern widget_value *digest_single_submenu P_ ((int, int, int));
 
 /* 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.
@@ -1261,7 +1262,7 @@
       complicated than simple yes/no type questions for which we can use
       the MessageBox function.
 */
-      
+
 static char * button_names [] = {
   "button1", "button2", "button3", "button4", "button5",
   "button6", "button7", "button8", "button9", "button10" };