Parent Directory | Revision Log | Patch
revision 1.226 by rms, Sun Dec 2 05:07:16 2001 UTC | revision 1.227 by rms, Fri Jan 4 22:17:26 2002 UTC | |
---|---|---|
# | Line 1191 menu_highlight_callback (widget, id, cal | Line 1191 menu_highlight_callback (widget, id, cal |
1191 | f = menubar_id_to_frame (id); | f = menubar_id_to_frame (id); |
1192 | if (f) | if (f) |
1193 | { | { |
1194 | Fx_hide_tip (); | |
1195 | ||
1196 | XSETFRAME (frame, f); | XSETFRAME (frame, f); |
1197 | kbd_buffer_store_help_event (frame, help); | kbd_buffer_store_help_event (frame, help); |
1198 | } | } |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |