From 456dffcbfdef154e0944bfa4fd04f9c37b0a6b79 Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Fri, 2 May 2014 19:25:27 -0400 Subject: [PATCH] GtkWidget: Mark deprecated properties as such The ::style, ::margin-left and ::margin-right properties are all deprecated. --- gtk/gtkwidget.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c index fa5ff5aa6f..44316f137a 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: