[gtk+] Docs: Reword deprecation notes

[Matthias Clasen <matthiasc src gnome org>]

commit 4617fa75681be065b6071e86ae6aa49e31226234
Author: Matthias Clasen <mclasen redhat com>
Date:   Sun Jun 22 12:10:46 2014 -0400

    Docs: Reword deprecation notes
    
    Mainly, make sure that deprecated properties are
    documented as such. In this case: double-buffered.

 gtk/gtkwidget.c |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index 7e56ecb..b5dea46 100644
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -1369,7 +1369,7 @@ G_GNUC_END_IGNORE_DEPRECATIONS
    *
    * Since: 2.18
    *
-   * Deprecated: 3.14
+   * Deprecated: 3.14: Widgets are always double-buffered.
    */
   g_object_class_install_property (gobject_class,
                                    PROP_DOUBLE_BUFFERED,
@@ -9204,9 +9204,9 @@ gtk_widget_get_app_paintable (GtkWidget *widget)
  * @widget: a #GtkWidget
  * @double_buffered: %TRUE to double-buffer a widget
  *
- * Widgets are always double-buffered. This function does nothing.
+ * This function does nothing.
  *
- * Deprecated: 3.14
+ * Deprecated: 3.14: Widgets are always double-buffered.
  **/
 void
 gtk_widget_set_double_buffered (GtkWidget *widget,