[gtk+] gtkwidget: Actually mark set_double_buffered as deprecated

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

commit f4c2c4c6671b783ae47187ef69765ae81367da0d
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Mon Jun 23 17:36:43 2014 -0400

    gtkwidget: Actually mark set_double_buffered as deprecated

 gtk/gtkmain.c   |    2 ++
 gtk/gtkwidget.c |    4 ++++
 gtk/gtkwidget.h |    4 ++--
 3 files changed, 8 insertions(+), 2 deletions(-)
---
diff --git a/gtk/gtkmain.c b/gtk/gtkmain.c
index 860c334..5a9353e 100644
--- a/gtk/gtkmain.c
+++ b/gtk/gtkmain.c
@@ -1647,6 +1647,7 @@ gtk_main_do_event (GdkEvent *event)
       break;
 
     case GDK_EXPOSE:
+      G_GNUC_BEGIN_IGNORE_DEPRECATIONS
       if (event->any.window && gtk_widget_get_double_buffered (event_widget))
         {
          /* We handle exposes only on native windows, relying on the
@@ -1662,6 +1663,7 @@ gtk_main_do_event (GdkEvent *event)
            }
         }
       else
+      G_GNUC_END_IGNORE_DEPRECATIONS
         {
           gtk_widget_send_expose (event_widget, event);
         }
diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index 3241575..6f36c53 100644
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -3813,7 +3813,9 @@ gtk_widget_set_property (GObject         *object,
         gtk_widget_queue_tooltip_query (widget);
       break;
     case PROP_DOUBLE_BUFFERED:
+      G_GNUC_BEGIN_IGNORE_DEPRECATIONS
       gtk_widget_set_double_buffered (widget, g_value_get_boolean (value));
+      G_GNUC_END_IGNORE_DEPRECATIONS
       break;
     case PROP_HALIGN:
       gtk_widget_set_halign (widget, g_value_get_enum (value));
@@ -3977,7 +3979,9 @@ gtk_widget_get_property (GObject         *object,
       g_value_set_object (value, gtk_widget_get_window (widget));
       break;
     case PROP_DOUBLE_BUFFERED:
+      G_GNUC_BEGIN_IGNORE_DEPRECATIONS
       g_value_set_boolean (value, gtk_widget_get_double_buffered (widget));
+      G_GNUC_END_IGNORE_DEPRECATIONS
       break;
     case PROP_HALIGN:
       g_value_set_enum (value, gtk_widget_get_halign (widget));
diff --git a/gtk/gtkwidget.h b/gtk/gtkwidget.h
index 9100344..9321fbb 100644
--- a/gtk/gtkwidget.h
+++ b/gtk/gtkwidget.h
@@ -892,10 +892,10 @@ void                  gtk_widget_set_app_paintable      (GtkWidget    *widget,
 GDK_AVAILABLE_IN_ALL
 gboolean              gtk_widget_get_app_paintable      (GtkWidget    *widget);
 
-GDK_AVAILABLE_IN_ALL
+GDK_DEPRECATED_IN_3_14
 void                  gtk_widget_set_double_buffered    (GtkWidget    *widget,
                                                         gboolean      double_buffered);
-GDK_AVAILABLE_IN_ALL
+GDK_DEPRECATED_IN_3_14
 gboolean              gtk_widget_get_double_buffered    (GtkWidget    *widget);
 
 GDK_AVAILABLE_IN_ALL