[gtk+] gdk: Fix gdk_device_tool_get_serial() return value

[Matthias Clasen <matthiasc src gnome org>]

commit e3bbeb48bd4aeb6f22e52fa845f7c125c123d29e
Author: Carlos Garnacho <carlosg gnome org>
Date:   Thu Aug 4 18:44:36 2016 +0200

    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

 gdk/gdkdevicetool.c |    2 +-
 gdk/gdkdevicetool.h |    2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/gdk/gdkdevicetool.c b/gdk/gdkdevicetool.c
index 54076b6..3f07811 100644
--- a/gdk/gdkdevicetool.c
+++ b/gdk/gdkdevicetool.c
@@ -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);
diff --git a/gdk/gdkdevicetool.h b/gdk/gdkdevicetool.h
index 9a00d8a..5486e7e 100644
--- a/gdk/gdkdevicetool.h
+++ b/gdk/gdkdevicetool.h
@@ -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);