# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1258106945 0
# Node ID f1af90a55b45b8a531e1e2c2889ce086e861363b
# Parent  f008b20f27b1ccaaa27d87403903d31085497b50
(Fx_popup_menu): Call Fx_hide_tip only if HAVE_WINDOW_SYSTEM.

diff -r f008b20f27b1 -r f1af90a55b45 src/menu.c
--- a/src/menu.c	Fri Nov 13 08:41:47 2009 +0000
+++ b/src/menu.c	Fri Nov 13 10:09:05 2009 +0000
@@ -1286,8 +1286,10 @@
   unbind_to (specpdl_count, Qnil);
 
 #ifdef HAVE_MENUS
+#ifdef HAVE_WINDOW_SYSTEM
   /* Hide a previous tip, if any.  */
   Fx_hide_tip ();
+#endif
 
 #ifdef HAVE_NTGUI     /* FIXME: Is it really w32-specific?  --Stef  */
   /* If resources from a previous popup menu still exist, does nothing