3 Commits

Author	SHA1	Message	Date
Carlos Garnacho	40f75e74be	gdk: Add a getter for the hardware id of a GdkDeviceTool ... Although scarcely used, this information may be useful to retrieve from the windowing systems that offer this information. https://bugzilla.gnome.org/show_bug.cgi?id=770026	2016-08-23 21:01:44 +02:00
Carlos Garnacho	e3bbeb48bd	gdk: Fix gdk_device_tool_get_serial() return value ... This is a guint64, not just a guint. https://bugzilla.gnome.org/show_bug.cgi?id=770026	2016-08-19 23:56:58 -04:00
Matthias Clasen	9044f78751	Move GdkDeviceTool into its own files	2016-04-09 15:48:34 -04:00