+gboolean
+on_canvas_leave_notify_event (GtkWidget *widget,
+ GdkEventCrossing *event,
+ gpointer user_data)
+{
+#ifdef INPUT_DEBUG
+ printf("DEBUG: leave notify\n");
+#endif
+ if (ui.need_emergency_disable_xinput) {
+ gtk_widget_set_extension_events(GTK_WIDGET (canvas), GDK_EXTENSION_EVENTS_NONE);
+ ui.need_emergency_disable_xinput = FALSE;
+ }
+ return FALSE;
+}
+