[gtk+] Add a new symbol

[Matthias Clasen <matthiasc src gnome org>]

commit 1ecd9fb3bdd72a477faa23425e174ba848bc63ab
Author: Matthias Clasen <mclasen redhat com>
Date:   Mon Oct 10 11:02:33 2011 -0400

    Add a new symbol
    
    gtk_widget_get_modifier_mask was added recently.

 docs/reference/gtk/gtk3-sections.txt |    1 +
 gtk/gtk.symbols                      |    1 +
 2 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/docs/reference/gtk/gtk3-sections.txt b/docs/reference/gtk/gtk3-sections.txt
index 3fdfeed..b9c9fb8 100644
--- a/docs/reference/gtk/gtk3-sections.txt
+++ b/docs/reference/gtk/gtk3-sections.txt
@@ -5202,6 +5202,7 @@ gtk_widget_set_mapped
 gtk_widget_get_mapped
 gtk_widget_get_requisition
 gtk_widget_device_is_shadowed
+gtk_widget_get_modifier_mask
 
 <SUBSECTION>
 gtk_widget_get_path
diff --git a/gtk/gtk.symbols b/gtk/gtk.symbols
index b7baf79..157cacf 100644
--- a/gtk/gtk.symbols
+++ b/gtk/gtk.symbols
@@ -3542,6 +3542,7 @@ gtk_widget_get_margin_bottom
 gtk_widget_get_margin_left
 gtk_widget_get_margin_right
 gtk_widget_get_margin_top
+gtk_widget_get_modifier_mask
 gtk_widget_get_modifier_style
 gtk_widget_get_name
 gtk_widget_get_no_show_all