gdk_device_manager_list_devices() returns a newly allocated list.
https://bugzilla.gnome.org/show_bug.cgi?id=645234
gdk_window_set_device_events (window, device, event_mask);
}
+ g_list_free (devices);
+
/* Update accounting */
if (G_UNLIKELY (!window->source_event_masks))
window->source_event_masks = g_hash_table_new (NULL, NULL);
set_cursor_if_appropriate (about, GTK_TEXT_VIEW (text_view), dev, bx, by);
}
+ g_list_free (devices);
+
return FALSE;
}
gdk_event_free (fevent);
}
+
+ g_list_free (devices);
}
static void