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
This commit is contained in:
Carlos Garnacho 2016-08-04 18:44:36 +02:00 committed by Matthias Clasen
parent 7e11fcaa18
commit e3bbeb48bd
2 changed files with 2 additions and 2 deletions

View File

@ -145,7 +145,7 @@ gdk_device_tool_new (guint64 serial,
*
* Since: 3.22
**/
guint
guint64
gdk_device_tool_get_serial (GdkDeviceTool *tool)
{
g_return_val_if_fail (tool != NULL, 0);

View File

@ -65,7 +65,7 @@ GDK_AVAILABLE_IN_3_22
GType gdk_device_tool_get_type (void) G_GNUC_CONST;
GDK_AVAILABLE_IN_3_22
guint gdk_device_tool_get_serial (GdkDeviceTool *tool);
guint64 gdk_device_tool_get_serial (GdkDeviceTool *tool);
GDK_AVAILABLE_IN_3_22
GdkDeviceToolType gdk_device_tool_get_tool_type (GdkDeviceTool *tool);