keyboard.c (kbd_buffer_get_event): Null-check used_mouse_menu.

This commit is contained in:
Adrian Robert 2009-06-08 08:28:09 +00:00
parent 521e469fe3
commit 5acf9d90c9

View file

@ -4162,7 +4162,8 @@ kbd_buffer_get_event (kbp, used_mouse_menu, end_time)
else
obj = Fcons (intern ("ns-unput-working-text"), Qnil);
kbd_fetch_ptr = event + 1;
*used_mouse_menu = 1;
if (used_mouse_menu)
*used_mouse_menu = 1;
}
#endif
@ -4319,7 +4320,8 @@ kbd_buffer_get_event (kbp, used_mouse_menu, end_time)
#endif
#ifdef HAVE_NS
/* certain system events are non-key events */
if (event->kind == NS_NONKEY_EVENT)
if (used_mouse_menu
&& event->kind == NS_NONKEY_EVENT)
*used_mouse_menu = 1;
#endif