gtk+-2.0: Fix gtk_notebook_* bindings

Fixes bug 583687.

diff --git a/vapi/gtk+-2.0.vapi b/vapi/gtk+-2.0.vapi
index 9275b95e1871d476943b93a830a913672b9ce6b4..c8f0d281d6b4dc0a3ee6fab3ff251ba17a5c0b8c 100644 (file)
--- 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 e92d5668cb5fcdca40cb56248beac8f845969dfa..eaa8b5243e4fc8aecb0bb8ebc0ef3f690d72f480 100644 (file)
--- 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"