popup_deactivate_callback 128 src/pgtkmenu.c popup_deactivate_callback (GtkWidget *widget, gpointer client_data) popup_deactivate_callback 712 src/xmenu.c popup_deactivate_callback (