(menu_highlight_callback): Hide any tooltip window.

453c5510 · Richard M. Stallman · 336b2b2e · 453c5510 · 453c5510
Commit 453c5510 authored Jan 04, 2002 by Richard M. Stallman
Hide whitespace changes
Inline Side-by-side

Showing with 6 additions and 0 deletions

src/ChangeLog src/ChangeLog +4 -0

src/xmenu.c src/xmenu.c +2 -0

No files found.
--- a/src/ChangeLog
+++ b/src/ChangeLog
+2002-01-04  Richard M. Stallman  <rms@gnu.org>
+
+	* xmenu.c (menu_highlight_callback): Hide any tooltip window.
+
 2002-01-03  Richard M. Stallman  <rms@gnu.org>

 	* keymap.c (Fcurrent_active_maps): Put the `keymap' property map first.

--- a/src/xmenu.c
+++ b/src/xmenu.c
@@ -1191,6 +1191,8 @@ menu_highlight_callback (widget, id, call_data)
  f = menubar_id_to_frame (id);
  if (f)
    {
+      Fx_hide_tip ();
+
      XSETFRAME (frame, f);
      kbd_buffer_store_help_event (frame, help);
    }