/* re-enable input devices after they've been emergency-disabled
by leave_notify */
if (!gtk_check_version(2, 17, 0)) {
+ gdk_flush();
+ gdk_error_trap_push();
for (dev_list = gdk_devices_list(); dev_list != NULL; dev_list = dev_list->next) {
dev = GDK_DEVICE(dev_list->data);
gdk_device_set_mode(dev, GDK_MODE_SCREEN);
}
ui.is_corestroke = ui.saved_is_corestroke;
+ gdk_flush();
+ gdk_error_trap_pop();
}
return FALSE;
}
#endif
/* emergency disable XInput to avoid segfaults (GTK+ 2.17) or
interface non-responsiveness (GTK+ 2.18) */
- if (!gtk_check_version(2, 17, 0)) {
+ if (!gtk_check_version(2, 17, 0)) {
+ gdk_flush();
+ gdk_error_trap_push();
for (dev_list = gdk_devices_list(); dev_list != NULL; dev_list = dev_list->next) {
dev = GDK_DEVICE(dev_list->data);
gdk_device_set_mode(dev, GDK_MODE_DISABLED);
}
ui.saved_is_corestroke = ui.is_corestroke;
ui.is_corestroke = TRUE;
+ gdk_flush();
+ gdk_error_trap_pop();
}
return FALSE;
}