-
Benjamin Otte authored
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
254b9a4c