# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 798742503 0
# Node ID 29d1cbdd2ca420d7e14a9e63399366a4990201bd
# Parent  7956811d4d9a6badf3e750433774fa91e48dad71
(xmenu_show): x_mouse_leave needs an arg.

diff -r 7956811d4d9a -r 29d1cbdd2ca4 src/xmenu.c
--- a/src/xmenu.c	Mon Apr 24 15:31:19 1995 +0000
+++ b/src/xmenu.c	Mon Apr 24 16:55:03 1995 +0000
@@ -2298,7 +2298,7 @@
 
   /* Assume the mouse has moved out of the X window.
      If it has actually moved in, we will get an EnterNotify.  */
-  x_mouse_leave ();
+  x_mouse_leave (FRAME_X_DISPLAY_INFO (f));
 
   switch (status)
     {