[libwnck] widgets: Stop using deprecated gtk_widget_modify_font()

[Vincent Untz <vuntz src gnome org>]

commit eb9b76154264516c3bb632a90de8de52c5dc574a
Author: Vincent Untz <vuntz gnome org>
Date:   Fri Aug 12 12:53:54 2011 +0200

    widgets: Stop using deprecated gtk_widget_modify_font()

 libwnck/util.c |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/libwnck/util.c b/libwnck/util.c
index 71881c3..2977604 100644
--- a/libwnck/util.c
+++ b/libwnck/util.c
@@ -678,7 +678,7 @@ _make_gtk_label_bold (GtkLabel *label)
    * theme or user prefs, since the font desc only has the
    * weight flag turned on.
    */
-  gtk_widget_modify_font (GTK_WIDGET (label), font_desc);
+  gtk_widget_override_font (GTK_WIDGET (label), font_desc);
 
   pango_font_description_free (font_desc);
 }
@@ -698,7 +698,7 @@ _make_gtk_label_normal (GtkLabel *label)
    * theme or user prefs, since the font desc only has the
    * weight flag turned on.
    */
-  gtk_widget_modify_font (GTK_WIDGET (label), font_desc);
+  gtk_widget_override_font (GTK_WIDGET (label), font_desc);
 
   pango_font_description_free (font_desc);
 }