[vala] gtk+-2.0: Fix gtk_notebook_* bindings

[Jürg Billeter <juergbi src gnome org>]

commit c1524e48e63bde87de7255d10656b8844daa81e9
Author: Mike Massonnet <mike massonnet gmail com>
Date:   Mon May 25 21:59:32 2009 +0200

    gtk+-2.0: Fix gtk_notebook_* bindings
    
    Fixes bug 583687.
---
 vapi/gtk+-2.0.vapi                       |   16 ++++++++--------
 vapi/packages/gtk+-2.0/gtk+-2.0.metadata |   14 ++++++++++++++
 2 files changed, 22 insertions(+), 8 deletions(-)

diff --git a/vapi/gtk+-2.0.vapi b/vapi/gtk+-2.0.vapi
index 9275b95..c8f0d28 100644
--- a/vapi/gtk+-2.0.vapi
+++ b/vapi/gtk+-2.0.vapi
@@ -2475,7 +2475,7 @@ namespace Gtk {
 		public uint need_timer;
 		public uint32 timer;
 		public int append_page (Gtk.Widget child, Gtk.Widget? tab_label);
-		public int append_page_menu (Gtk.Widget child, Gtk.Widget tab_label, Gtk.Widget menu_label);
+		public int append_page_menu (Gtk.Widget child, Gtk.Widget? tab_label, Gtk.Widget? menu_label);
 		public int get_current_page ();
 		public void* get_group ();
 		public unowned Gtk.Widget get_menu_label (Gtk.Widget child);
@@ -2490,29 +2490,29 @@ namespace Gtk {
 		public unowned string get_tab_label_text (Gtk.Widget child);
 		public Gtk.PositionType get_tab_pos ();
 		public bool get_tab_reorderable (Gtk.Widget child);
-		public virtual int insert_page (Gtk.Widget child, Gtk.Widget tab_label, int position);
-		public int insert_page_menu (Gtk.Widget child, Gtk.Widget tab_label, Gtk.Widget menu_label, int position);
+		public virtual int insert_page (Gtk.Widget child, Gtk.Widget? tab_label, int position);
+		public int insert_page_menu (Gtk.Widget child, Gtk.Widget? tab_label, Gtk.Widget? menu_label, int position);
 		[CCode (type = "GtkWidget*", has_construct_function = false)]
 		public Notebook ();
 		public void next_page ();
 		public int page_num (Gtk.Widget child);
 		public void popup_disable ();
 		public void popup_enable ();
-		public int prepend_page (Gtk.Widget child, Gtk.Widget tab_label);
-		public int prepend_page_menu (Gtk.Widget child, Gtk.Widget tab_label, Gtk.Widget menu_label);
+		public int prepend_page (Gtk.Widget child, Gtk.Widget? tab_label);
+		public int prepend_page_menu (Gtk.Widget child, Gtk.Widget? tab_label, Gtk.Widget? menu_label);
 		public void prev_page ();
-		public void query_tab_label_packing (Gtk.Widget child, bool expand, bool fill, Gtk.PackType pack_type);
+		public void query_tab_label_packing (Gtk.Widget child, bool? expand, bool? fill, Gtk.PackType? pack_type);
 		public void remove_page (int page_num);
 		public void reorder_child (Gtk.Widget child, int position);
 		public void set_current_page (int page_num);
 		public void set_group (void* group);
-		public void set_menu_label (Gtk.Widget child, Gtk.Widget menu_label);
+		public void set_menu_label (Gtk.Widget child, Gtk.Widget? menu_label);
 		public void set_menu_label_text (Gtk.Widget child, string menu_text);
 		public void set_scrollable (bool scrollable);
 		public void set_show_border (bool show_border);
 		public void set_show_tabs (bool show_tabs);
 		public void set_tab_detachable (Gtk.Widget child, bool detachable);
-		public void set_tab_label (Gtk.Widget child, Gtk.Widget tab_label);
+		public void set_tab_label (Gtk.Widget child, Gtk.Widget? tab_label);
 		public void set_tab_label_packing (Gtk.Widget child, bool expand, bool fill, Gtk.PackType pack_type);
 		public void set_tab_label_text (Gtk.Widget child, string tab_text);
 		public void set_tab_pos (Gtk.PositionType pos);
diff --git a/vapi/packages/gtk+-2.0/gtk+-2.0.metadata b/vapi/packages/gtk+-2.0/gtk+-2.0.metadata
index e92d566..eaa8b52 100644
--- a/vapi/packages/gtk+-2.0/gtk+-2.0.metadata
+++ b/vapi/packages/gtk+-2.0/gtk+-2.0.metadata
@@ -220,6 +220,20 @@ gtk_mount_operation_is_showing hidden="1"
 gtk_mount_operation_new.parent nullable="1"
 GtkNotebook.focus_tab hidden="1"
 gtk_notebook_append_page.tab_label nullable="1"
+gtk_notebook_append_page_menu.tab_label nullable="1"
+gtk_notebook_append_page_menu.menu_label nullable="1"
+gtk_notebook_prepend_page.tab_label nullable="1"
+gtk_notebook_prepend_page_menu.tab_label nullable="1"
+gtk_notebook_prepend_page_menu.menu_label nullable="1"
+gtk_notebook_insert_page.tab_label nullable="1"
+gtk_notebook_insert_page_menu.tab_label nullable="1"
+gtk_notebook_insert_page_menu.menu_label nullable="1"
+gtk_notebook_query_tab_label_packing.expand nullable="1"
+gtk_notebook_query_tab_label_packing.fill nullable="1"
+gtk_notebook_query_tab_label_packing.pack_type nullable="1"
+gtk_notebook_set_menu_label.menu_label nullable="1"
+gtk_notebook_set_tab_label.tab_label nullable="1"
+gtk_notebook_set_group.group nullable="1"
 gtk_notebook_page_num hidden="1"
 GtkObject::destroy has_emitter="1"
 gtk_parse_args.argv is_array="1"