# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 988641294 0
# Node ID f0a59a792f7d4d6160d42cd7b9f51a82aa42d6c7
# Parent  e33c316f9e708569e2bd49e713a397b2baa72c75
(xlwmenu_window_p): New function.

diff -r e33c316f9e70 -r f0a59a792f7d lwlib/xlwmenu.c
--- a/lwlib/xlwmenu.c	Mon Apr 30 14:03:07 2001 +0000
+++ b/lwlib/xlwmenu.c	Mon Apr 30 14:34:54 2001 +0000
@@ -1195,6 +1195,23 @@
   }
 }
 
+/* Value is non-zero if WINDOW is part of menu bar widget W.  */
+
+int
+xlwmenu_window_p (w, window)
+     Widget w;
+     Window window;
+{
+  XlwMenuWidget mw = (XlwMenuWidget) w;
+  int i;
+  
+  for (i = 0; i < mw->menu.windows_length; ++i)
+    if (window == mw->menu.windows[i].window)
+      break;
+
+  return i < mw->menu.windows_length;
+}
+
 /* Make the window fit in the screen */
 static void
 fit_to_screen (mw, ws, previous_ws, horizontal_p)