From bbf5e95c4179d0835602cd87e8de486b96c33860 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Javier=20Jard=C3=B3n?= <jjardon@gnome.org>
Date: Sat, 6 Mar 2010 13:13:01 +0100
Subject: [PATCH] Don't use GTK_WIDGET_*SET_FLAGS (wid, GTK_PARENT_SENSITIVE)

https://bugzilla.gnome.org/show_bug.cgi?id=69872
---
 gtk/gtkwidget.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index a9541c64c2..56c7772d72 100644
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -9184,9 +9184,9 @@ gtk_widget_propagate_state (GtkWidget           *widget,
 
 
   if (data->parent_sensitive)
-    GTK_WIDGET_SET_FLAGS (widget, GTK_PARENT_SENSITIVE);
+    GTK_OBJECT_FLAGS (widget) |= GTK_PARENT_SENSITIVE;
   else
-    GTK_WIDGET_UNSET_FLAGS (widget, GTK_PARENT_SENSITIVE);
+    GTK_OBJECT_FLAGS (widget) &= ~(GTK_PARENT_SENSITIVE);
 
   if (gtk_widget_is_sensitive (widget))
     {