[gtk+] gtk4-section: Add GtkInfoBar:revealed setter+getter

[Timm Bäder <baedert src gnome org>]

commit 32783a8187dd570deae378e7c3256d8957a43bc0
Author: Timm Bäder <mail baedert org>
Date:   Sat Jan 14 08:20:43 2017 +0100

    gtk4-section: Add GtkInfoBar:revealed setter+getter

 docs/reference/gtk/gtk4-sections.txt |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/docs/reference/gtk/gtk4-sections.txt b/docs/reference/gtk/gtk4-sections.txt
index 93b5d89..a9bfe56 100644
--- a/docs/reference/gtk/gtk4-sections.txt
+++ b/docs/reference/gtk/gtk4-sections.txt
@@ -1932,6 +1932,8 @@ gtk_info_bar_get_action_area
 gtk_info_bar_get_content_area
 gtk_info_bar_get_show_close_button
 gtk_info_bar_set_show_close_button
+gtk_info_bar_get_revealed
+gtk_info_bar_set_revealed
 
 <SUBSECTION Standard>
 GTK_TYPE_INFO_BAR