menu_highlight_callback  157 src/pgtkmenu.c menu_highlight_callback (GtkWidget *widget, gpointer call_data)
menu_highlight_callback  749 src/xmenu.c    menu_highlight_callback (GtkWidget *widget, gpointer call_data)
menu_highlight_callback  770 src/xmenu.c    menu_highlight_callback (Widget widget, LWLIB_ID id, void *call_data)