[gnome-terminal/gsettings] Use style-updated

[Christian Persch <chpe src gnome org>]

commit 9bc2faf145124e8e40fad6779b1e51ed22410046
Author: Christian Persch <chpe gnome org>
Date:   Fri Aug 12 21:32:13 2011 +0200

    Use style-updated
    
    ... instead of style-set.

 src/terminal-screen.c |    9 +++------
 1 files changed, 3 insertions(+), 6 deletions(-)
---
diff --git a/src/terminal-screen.c b/src/terminal-screen.c
index 1184cd5..5a48eee 100644
--- a/src/terminal-screen.c
+++ b/src/terminal-screen.c
@@ -299,14 +299,11 @@ terminal_screen_realize (GtkWidget *widget)
 }
 
 static void
-terminal_screen_style_set (GtkWidget *widget,
-                           GtkStyle *previous_style)
+terminal_screen_style_updated (GtkWidget *widget)
 {
   TerminalScreen *screen = TERMINAL_SCREEN (widget);
-  void (* style_set) (GtkWidget*, GtkStyle*) = GTK_WIDGET_CLASS (terminal_screen_parent_class)->style_set;
 
-  if (style_set)
-    style_set (widget, previous_style);
+  GTK_WIDGET_CLASS (terminal_screen_parent_class)->style_updated (widget);
 
   update_color_scheme (screen);
 
@@ -495,7 +492,7 @@ terminal_screen_class_init (TerminalScreenClass *klass)
   object_class->set_property = terminal_screen_set_property;
 
   widget_class->realize = terminal_screen_realize;
-  widget_class->style_set = terminal_screen_style_set;
+  widget_class->style_updated = terminal_screen_style_updated;
   widget_class->drag_data_received = terminal_screen_drag_data_received;
   widget_class->button_press_event = terminal_screen_button_press;
   widget_class->popup_menu = terminal_screen_popup_menu;