[gnome-builder] gtk: remove gb_widget_shrink_font()

[Christian Hergert <chergert src gnome org>]

commit 1336c4dd9203a233061d3399f5923eb74fed3c52
Author: Christian Hergert <christian hergert me>
Date:   Wed Dec 10 14:47:37 2014 -0800

    gtk: remove gb_widget_shrink_font()
    
    Unused, and we should use CSS instead.

 src/util/gb-widget.c |   17 -----------------
 src/util/gb-widget.h |    1 -
 2 files changed, 0 insertions(+), 18 deletions(-)
---
diff --git a/src/util/gb-widget.c b/src/util/gb-widget.c
index 12699a5..1a97bd1 100644
--- a/src/util/gb-widget.c
+++ b/src/util/gb-widget.c
@@ -156,23 +156,6 @@ gb_widget_snapshot (GtkWidget *widget,
   return surface;
 }
 
-void
-gb_widget_shrink_font (gpointer widget)
-{
-  PangoFontDescription *f = NULL;
-  GtkStyleContext *style;
-
-  g_return_if_fail (GTK_IS_WIDGET (widget));
-
-  style = gtk_widget_get_style_context (widget);
-  gtk_style_context_get (style, GTK_STATE_FLAG_NORMAL, "font", &f, NULL);
-  pango_font_description_set_size (f,
-                                   (PANGO_SCALE_SMALL *
-                                    pango_font_description_get_size (f)));
-  gtk_widget_override_font (widget, f);
-  pango_font_description_free (f);
-}
-
 static void
 hide_callback (gpointer data)
 {
diff --git a/src/util/gb-widget.h b/src/util/gb-widget.h
index 67f1b11..590b4b2 100644
--- a/src/util/gb-widget.h
+++ b/src/util/gb-widget.h
@@ -25,7 +25,6 @@ G_BEGIN_DECLS
 
 void             gb_widget_add_style_class (gpointer      widget,
                                             const gchar  *class_name);
-void             gb_widget_shrink_font     (gpointer      widget);
 cairo_surface_t *gb_widget_snapshot        (GtkWidget    *widget,
                                             gint          width,
                                             gint          height,