[gnome-builder] gtk: within_margin should be a double.

[Christian Hergert <chergert src gnome org>]

commit 92069db2f21edec7522a45cdf4165f367dbab377
Author: Christian Hergert <christian hergert me>
Date:   Mon Dec 1 19:42:35 2014 -0800

    gtk: within_margin should be a double.

 src/util/gb-gtk.c |    4 ++--
 src/util/gb-gtk.h |    2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/src/util/gb-gtk.c b/src/util/gb-gtk.c
index 5ed0bcb..287eec1 100644
--- a/src/util/gb-gtk.c
+++ b/src/util/gb-gtk.c
@@ -82,7 +82,7 @@ gb_gtk_text_view_scroll_to_iter_cb (gpointer data)
 
 /**
  * gb_gtk_text_view_scroll_to_iter:
- * 
+ *
  * This function is a wrapper function for gb_gtk_text_view_scroll_to_iter()
  * that will check to see if the text_view has calculated enough of it's
  * internal sizing to be able to scroll to the given iter.
@@ -93,7 +93,7 @@ gb_gtk_text_view_scroll_to_iter_cb (gpointer data)
 void
 gb_gtk_text_view_scroll_to_iter (GtkTextView *text_view,
                                  GtkTextIter *iter,
-                                 gboolean     within_margin,
+                                 gdouble      within_margin,
                                  gboolean     use_align,
                                  gdouble      xalign,
                                  gdouble      yalign)
diff --git a/src/util/gb-gtk.h b/src/util/gb-gtk.h
index 807d31a..3dd6e88 100644
--- a/src/util/gb-gtk.h
+++ b/src/util/gb-gtk.h
@@ -30,7 +30,7 @@ void gb_gtk_text_buffer_get_iter_at_line_and_offset (GtkTextBuffer *buffer,
 
 void gb_gtk_text_view_scroll_to_iter (GtkTextView *text_view,
                                       GtkTextIter *iter,
-                                      gboolean     within_margin,
+                                      gdouble      within_margin,
                                       gboolean     use_align,
                                       gdouble      xalign,
                                       gdouble      yalign);