From 3e9123807112f3b2c48f2514897bcd267593abd8 Mon Sep 17 00:00:00 2001
From: Matthias Clasen <mclasen@redhat.com>
Date: Wed, 15 Sep 2010 13:49:00 -0400
Subject: [PATCH] Add new api to gtk.symbols

---
 gtk/gtk.symbols | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/gtk/gtk.symbols b/gtk/gtk.symbols
index ab8da65760..04394206af 100644
--- a/gtk/gtk.symbols
+++ b/gtk/gtk.symbols
@@ -4367,6 +4367,18 @@ gtk_widget_get_mapped
 gtk_widget_get_support_multidevice
 gtk_widget_set_support_multidevice
 gtk_widget_device_is_shadowed
+gtk_widget_get_h_align
+gtk_widget_set_h_align
+gtk_widget_get_v_align
+gtk_widget_set_v_align
+gtk_widget_get_margin_left
+gtk_widget_set_margin_left
+gtk_widget_get_margin_right
+gtk_widget_set_margin_right
+gtk_widget_get_margin_top
+gtk_widget_set_margin_top
+gtk_widget_get_margin_bottom
+gtk_widget_set_margin_bottom
 #endif
 #endif