Files
gtk/gdk
Benjamin Otte e45230ad39 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
2011-06-09 05:51:53 +02:00
..
2011-02-10 14:41:02 -05:00
2011-05-27 11:53:26 +02:00
2011-02-10 14:41:02 -05:00
2010-12-21 12:07:00 -05:00
2011-02-09 02:44:19 -05:00
2011-02-09 02:44:19 -05:00
2011-02-09 02:44:19 -05:00
2011-02-09 02:44:19 -05:00
2010-12-24 15:54:12 -05:00
2010-12-25 00:02:39 -05:00
2011-02-01 06:33:02 +01:00
2011-01-28 11:10:07 -05:00
2010-12-25 00:02:39 -05:00
2010-12-24 15:54:12 -05:00
2010-12-25 00:02:39 -05:00
2011-02-09 02:44:19 -05:00
2011-02-09 02:44:19 -05:00
2011-02-09 02:44:19 -05:00
2011-02-09 01:32:24 -05:00
2011-02-01 06:33:02 +01:00
2010-12-24 15:54:12 -05:00
2010-12-25 00:02:39 -05:00
2011-01-11 17:06:49 +01:00
2011-01-02 13:33:04 +01:00