Parent Directory | Revision Log | Patch
revision 1.217.4.1 by rms, Fri Jan 4 22:18:17 2002 UTC | revision 1.217.4.2 by rms, Sun Jan 6 06:18:19 2002 UTC | |
---|---|---|
# | Line 1192 menu_highlight_callback (widget, id, cal | Line 1192 menu_highlight_callback (widget, id, cal |
1192 | f = menubar_id_to_frame (id); | f = menubar_id_to_frame (id); |
1193 | if (f) | if (f) |
1194 | { | { |
Fx_hide_tip (); | ||
1195 | XSETFRAME (frame, f); | XSETFRAME (frame, f); |
1196 | kbd_buffer_store_help_event (frame, help); | kbd_buffer_store_help_event (frame, help); |
1197 | } | } |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |