[gtk+/gtk-style-context: 205/347] GtkStyleSet: Register "margin" property.

[Carlos Garnacho <carlosg src gnome org>]

commit 14ac541d22a03d4b0dde453f95c708ed3da88c24
Author: Carlos Garnacho <carlosg gnome org>
Date:   Mon Aug 30 22:35:30 2010 +0200

    GtkStyleSet: Register "margin" property.

 gtk/gtkstyleset.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/gtk/gtkstyleset.c b/gtk/gtkstyleset.c
index 5c63410..101925a 100644
--- a/gtk/gtkstyleset.c
+++ b/gtk/gtkstyleset.c
@@ -85,6 +85,7 @@ gtk_style_set_class_init (GtkStyleSetClass *klass)
 
   gtk_style_set_register_property ("font", PANGO_TYPE_FONT_DESCRIPTION, NULL, NULL);
 
+  gtk_style_set_register_property ("margin", GTK_TYPE_BORDER, NULL, NULL);
   gtk_style_set_register_property ("padding", GTK_TYPE_BORDER, NULL, NULL);
   gtk_style_set_register_property ("border", G_TYPE_INT, NULL, NULL);