[gnome-documents] all: use gdk_event_get_button() to get the button number

[Cosimo Cecchi <cosimoc src gnome org>]

commit f9578302a782130a95a270bda8ebadf65b7ca600
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Sun Aug 28 19:54:56 2011 -0400

    all: use gdk_event_get_button() to get the button number
    
    Use the accessor newly introduced in GTK+.

 configure.ac       |    2 +-
 src/lib/gd-utils.c |    8 --------
 src/lib/gd-utils.h |    2 --
 src/view.js        |    2 +-
 4 files changed, 2 insertions(+), 12 deletions(-)
---
diff --git a/configure.ac b/configure.ac
index 1b8e75d..cd5078f 100644
--- a/configure.ac
+++ b/configure.ac
@@ -50,7 +50,7 @@ AC_SUBST(GJS_JS_DIR)
 GLIB_GSETTINGS
 
 GLIB_MIN_VERSION=2.28.0
-GTK_MIN_VERSION=3.0.0
+GTK_MIN_VERSION=3.1.13
 GOBJECT_INTROSPECTION_MIN_VERSION=0.9.6
 GDATA_MIN_VERSION=0.9.1
 
diff --git a/src/lib/gd-utils.c b/src/lib/gd-utils.c
index 14f9b8a..fab5009 100644
--- a/src/lib/gd-utils.c
+++ b/src/lib/gd-utils.c
@@ -276,11 +276,3 @@ gd_gtk_tree_view_set_activate_on_single_click (GtkTreeView *tree_view,
 				   GUINT_TO_POINTER (button_press_id));
 	}
 }
-
-guint
-gd_gdk_event_get_button (GdkEvent *event)
-{
-  GdkEventButton *button_ev = (GdkEventButton *) event;
-
-  return button_ev->button;
-}
diff --git a/src/lib/gd-utils.h b/src/lib/gd-utils.h
index 1c1a6b0..8979a3a 100644
--- a/src/lib/gd-utils.h
+++ b/src/lib/gd-utils.h
@@ -56,8 +56,6 @@ void gd_sidebar_store_set (GtkListStore *store,
                            const gchar *icon_name,
                            gboolean heading);
 
-guint gd_gdk_event_get_button (GdkEvent *event);
-
 void gd_queue_thumbnail_job_for_file_async (GFile *file,
                                             GAsyncReadyCallback callback,
                                             gpointer user_data);
diff --git a/src/view.js b/src/view.js
index f507e2d..9381603 100644
--- a/src/view.js
+++ b/src/view.js
@@ -127,7 +127,7 @@ View.prototype = {
     },
 
     _onButtonRelease: function(view, event) {
-        let button = Gd.gdk_event_get_button(event);
+        let button = event.get_button()[1];
         let coords = [ event.get_coords()[1] , event.get_coords()[2] ];
         let timestamp = event.get_time();