[gtk+] GtkWidget: Mark deprecated properties as such

[Matthias Clasen <matthiasc src gnome org>]

commit 456dffcbfdef154e0944bfa4fd04f9c37b0a6b79
Author: Matthias Clasen <mclasen redhat com>
Date:   Fri May 2 19:25:27 2014 -0400

    GtkWidget: Mark deprecated properties as such
    
    The ::style, ::margin-left and ::margin-right properties are all
    deprecated.

 gtk/gtkwidget.c |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index fa5ff5a..44316f1 100644
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -1241,7 +1241,7 @@ G_GNUC_BEGIN_IGNORE_DEPRECATIONS
                                                        P_("Style"),
                                                        P_("The style of the widget, which contains 
information about how it will look (colors etc)"),
                                                        GTK_TYPE_STYLE,
-                                                       GTK_PARAM_READWRITE));
+                                                       GTK_PARAM_READWRITE | G_PARAM_DEPRECATED));
 
 G_GNUC_END_IGNORE_DEPRECATIONS
 
@@ -1409,7 +1409,7 @@ G_GNUC_END_IGNORE_DEPRECATIONS
                                                      0,
                                                      G_MAXINT16,
                                                      0,
-                                                     GTK_PARAM_READWRITE));
+                                                     GTK_PARAM_READWRITE | G_PARAM_DEPRECATED));
 
   /**
    * GtkWidget:margin-right:
@@ -1432,7 +1432,7 @@ G_GNUC_END_IGNORE_DEPRECATIONS
                                                      0,
                                                      G_MAXINT16,
                                                      0,
-                                                     GTK_PARAM_READWRITE));
+                                                     GTK_PARAM_READWRITE | G_PARAM_DEPRECATED));
 
   /**
    * GtkWidget:margin-start: