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;
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;