[gtk+] gtkwidget: Add a warning about set_double_buffered

[Jasper St. Pierre <jstpierre src gnome org>]

commit 6bc251692a202c6ec54572cdab0dd68df16c77df
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Sat Jun 21 00:31:17 2014 -0400

    gtkwidget: Add a warning about set_double_buffered
    
    As requested on the mailing list.

 gtk/gtkwidget.c |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index 9657f3a..7e56ecb 100644
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -9213,6 +9213,8 @@ gtk_widget_set_double_buffered (GtkWidget *widget,
                                gboolean   double_buffered)
 {
   g_return_if_fail (GTK_IS_WIDGET (widget));
+
+  g_warning ("gtk_widget_set_double_buffered is deprecated and does nothing.");
 }
 
 /**