changeset 42535:2fb9353e0cf6

(menu_highlight_callback): Hide any tooltip window.
author Richard M. Stallman <rms@gnu.org>
date Fri, 04 Jan 2002 22:17:26 +0000
parents c07ef1efb323
children eeb24892e1a4
files src/xmenu.c
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/xmenu.c	Fri Jan 04 21:35:15 2002 +0000
+++ b/src/xmenu.c	Fri Jan 04 22:17:26 2002 +0000
@@ -1191,6 +1191,8 @@
   f = menubar_id_to_frame (id);
   if (f)
     {
+      Fx_hide_tip ();
+
       XSETFRAME (frame, f);
       kbd_buffer_store_help_event (frame, help);
     }