Files
gtk/docs
Javier Jardón 27b64f50e6 Don't use GTK_WIDGET_*SET_FLAGS (wid, GTK_DOUBLE_BUFFERED)
Use new API instead: gtk_widget_set_double_buffered ()
2010-03-01 18:14:05 +01:00
..
2009-12-19 18:37:39 +01:00
2005-03-15 13:18:25 +00:00