From 6bc251692a202c6ec54572cdab0dd68df16c77df Mon Sep 17 00:00:00 2001
From: "Jasper St. Pierre" <jstpierre@mecheye.net>
Date: Sat, 21 Jun 2014 00:31:17 -0400
Subject: [PATCH] gtkwidget: Add a warning about set_double_buffered

As requested on the mailing list.
---
 gtk/gtkwidget.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index 9657f3aa0e..7e56ecb493 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.");
 }
 
 /**