From 1ecd9fb3bdd72a477faa23425e174ba848bc63ab Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Mon, 10 Oct 2011 11:02:33 -0400 Subject: [PATCH] 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(+) diff --git a/docs/reference/gtk/gtk3-sections.txt b/docs/reference/gtk/gtk3-sections.txt index 3fdfeed9d7..b9c9fb8016 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 gtk_widget_get_path diff --git a/gtk/gtk.symbols b/gtk/gtk.symbols index b7baf794e5..157cacfc0c 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