Searched refs:leave_notify_event (Results 1 – 1 of 1) sorted by relevance
879 leave_notify_event(GtkWidget *widget UNUSED, in leave_notify_event() function3815 G_CALLBACK(leave_notify_event), NULL); in gui_mch_init()