[gnome-shell] global: Make timestamp parameter unsigned

[Florian Müllner <fmuellner src gnome org>]

commit af5e65fd7953a0e9e0d1fc4a75a26b103df9dbaf
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed Jul 27 15:46:38 2016 +0200

    global: Make timestamp parameter unsigned
    
    Negative values don't make sense to timestamps, and an unsigned
    timestamp as returned by shell_global_get_current_time() or
    Gdk/Clutter events may exceed the range of signed integers.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=769216

 src/shell-global.c |    2 +-
 src/shell-global.h |    2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/src/shell-global.c b/src/shell-global.c
index 2b6eb8f..480b2fe 100644
--- a/src/shell-global.c
+++ b/src/shell-global.c
@@ -1583,7 +1583,7 @@ shell_global_get_current_time (ShellGlobal *global)
  */
 GAppLaunchContext *
 shell_global_create_app_launch_context (ShellGlobal *global,
-                                        int          timestamp,
+                                        guint32      timestamp,
                                         int          workspace)
 {
   GdkAppLaunchContext *context;
diff --git a/src/shell-global.h b/src/shell-global.h
index c043f47..47c4415 100644
--- a/src/shell-global.h
+++ b/src/shell-global.h
@@ -71,7 +71,7 @@ void     shell_global_sync_pointer              (ShellGlobal  *global);
 
 GAppLaunchContext *
          shell_global_create_app_launch_context (ShellGlobal  *global,
-                                                 int           timestamp,
+                                                 guint32       timestamp,
                                                  int           workspace);
 
 void     shell_global_play_theme_sound          (ShellGlobal *global,