Sun Mar 15 08:27:06 1998 Tim Janik <timj@gimp.org> * gtk/gtkmenu.c (gtk_menu_key_press): don't cast a NULL pointer.