[gtk+] Add new api to gtk.symbols

[Matthias Clasen <matthiasc src gnome org>]

commit 3e9123807112f3b2c48f2514897bcd267593abd8
Author: Matthias Clasen <mclasen redhat com>
Date:   Wed Sep 15 13:49:00 2010 -0400

    Add new api to gtk.symbols

 gtk/gtk.symbols |   12 ++++++++++++
 1 files changed, 12 insertions(+), 0 deletions(-)
---
diff --git a/gtk/gtk.symbols b/gtk/gtk.symbols
index ab8da65..0439420 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