[gtk+] gdk: Make background changes queue a repaint

[Benjamin Otte <otte src gnome org>]

commit e45230ad39a773bc8eed64d5d7f9ebaf470ccc4c
Author: Benjamin Otte <otte redhat com>
Date:   Wed Jun 8 15:47:46 2011 +0200

    gdk: Make background changes queue a repaint
    
    For client-side windows, we need to queue a repaint when the background
    changes. For native windows, the windowing system does take care of it,
    but client-side windows are our own, so we gotta do it manually.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=652102

 gdk/gdkwindow.c |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/gdk/gdkwindow.c b/gdk/gdkwindow.c
index 210e517..cc2d9c2 100644
--- a/gdk/gdkwindow.c
+++ b/gdk/gdkwindow.c
@@ -6548,6 +6548,8 @@ gdk_window_set_background_pattern (GdkWindow *window,
       GdkWindowImplClass *impl_class = GDK_WINDOW_IMPL_GET_CLASS (window->impl);
       impl_class->set_background (window, pattern);
     }
+  else
+    gdk_window_invalidate_rect_full (window, NULL, TRUE, CLEAR_BG_ALL);
 }
 
 /**