From b4a24d64576d1cb4d0bfe9b0d4c6858b96d2a469 Mon Sep 17 00:00:00 2001 From: Carlos Garnacho Date: Tue, 3 Aug 2010 20:29:07 +0200 Subject: [PATCH] GtkStyleSet: Register the "border" property. --- gtk/gtkstyleset.c | 1 + 1 file changed, 1 insertion(+) diff --git a/gtk/gtkstyleset.c b/gtk/gtkstyleset.c index 15db395a00..f1b0b35709 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));