[gtk+/gtk-style-context: 160/191] GtkStyleSet: Register the "border" property.

[Carlos Garnacho <carlosg src gnome org>]

commit d804e6bd7e04a1e7b75623225736896d3d3b80b0
Author: Carlos Garnacho <carlosg gnome org>
Date:   Tue Aug 3 20:29:07 2010 +0200

    GtkStyleSet: Register the "border" property.

 gtk/gtkstyleset.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/gtk/gtkstyleset.c b/gtk/gtkstyleset.c
index e61469d..8930ceb 100644
--- a/gtk/gtkstyleset.c
+++ b/gtk/gtkstyleset.c
@@ -80,6 +80,7 @@ gtk_style_set_class_init (GtkStyleSetClass *klass)
   gtk_style_set_register_property ("font", PANGO_TYPE_FONT_DESCRIPTION, NULL);
 
   gtk_style_set_register_property ("padding", GTK_TYPE_BORDER, NULL);
+  gtk_style_set_register_property ("border", G_TYPE_INT, NULL);
 
   g_value_init (&val, GTK_TYPE_THEMING_ENGINE);
   g_value_set_object (&val, (GObject *) gtk_theming_engine_load (NULL));