Re: menubar segfault

[Richard Stallman]

Does this patch manage to work?  I am pretty sure it will avoid the segfault,
but I don't know whether the timer will run and hide the tooltip while
the menu bar is still in operation.

*** xfns.c.~1.534.~     Fri Dec 21 17:54:46 2001
--- xfns.c      Sun Jan  6 01:04:46 2002
***************
*** 11345,11350 ****
--- 11345,11358 ----
    return unbind_to (count, Qnil);
  }
  
+ void
+ deferred_hide_tip ()
+ {
+   /* Make the tip disappear as soon as timers can run.  */
+   if (! NILP (tip_frame))
+     call3 (intern ("run-at-time"), make_number (0), Qnil,
+          intern ("x-hide-tip"));
+ }
  
  DEFUN ("x-hide-tip", Fx_hide_tip, Sx_hide_tip, 0, 0, 0,
         doc: /* Hide the current tooltip window, if there is any.

*** xmenu.c.~1.227.~    Fri Jan  4 17:17:20 2002
--- xmenu.c     Sun Jan  6 01:04:35 2002
***************
*** 1191,1197 ****
    f = menubar_id_to_frame (id);
    if (f)
      {
!       Fx_hide_tip ();
  
        XSETFRAME (frame, f);
        kbd_buffer_store_help_event (frame, help);
--- 1191,1197 ----
    f = menubar_id_to_frame (id);
    if (f)
      {
!       deferred_hide_tip ();
  
        XSETFRAME (frame, f);
        kbd_buffer_store_help_event (frame, help);