Carlos Garnacho
|
942d144d3b
|
gdk: Pass hardware ID on gdk_device_tool_new()
And implement this on wayland, where this information is already obtained.
https://bugzilla.gnome.org/show_bug.cgi?id=770026
|
2016-08-23 21:01:44 +02:00 |
|
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 |
|