[vala/staging: 1/3] gtk+-3.0: Fix FileChooser.add_choice()

[Rico Tzschichholz <ricotz src gnome org>]

commit f75b98046ad159c73bad798393ade9e8470833ce
Author: Rico Tzschichholz <ricotz ubuntu com>
Date:   Thu Dec 7 21:36:47 2017 +0100

    gtk+-3.0: Fix FileChooser.add_choice()

 vapi/gtk+-3.0.vapi                       |    2 +-
 vapi/packages/gtk+-3.0/gtk+-3.0.metadata |    4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/vapi/gtk+-3.0.vapi b/vapi/gtk+-3.0.vapi
index a5bc470..d1a1758 100644
--- a/vapi/gtk+-3.0.vapi
+++ b/vapi/gtk+-3.0.vapi
@@ -7417,7 +7417,7 @@ namespace Gtk {
        }
        [CCode (cheader_filename = "gtk/gtk.h")]
        public interface FileChooser : GLib.Object {
-               public void add_choice (string id, string label, string[]? options, string[]? option_labels);
+               public void add_choice (string id, string label, [CCode (array_length = false, 
array_null_terminated = true)] string[]? options, [CCode (array_length = false, array_null_terminated = 
true)] string[]? option_labels);
                public void add_filter (owned Gtk.FileFilter filter);
                public bool add_shortcut_folder (string folder) throws GLib.Error;
                public bool add_shortcut_folder_uri (string uri) throws GLib.Error;
diff --git a/vapi/packages/gtk+-3.0/gtk+-3.0.metadata b/vapi/packages/gtk+-3.0/gtk+-3.0.metadata
index 8e64601..cbcca0e 100644
--- a/vapi/packages/gtk+-3.0/gtk+-3.0.metadata
+++ b/vapi/packages/gtk+-3.0/gtk+-3.0.metadata
@@ -446,8 +446,8 @@ gtk_expander_get_label nullable="1"
 gtk_expander_set_label.label nullable="1"
 gtk_expander_set_label_widget.label_widget nullable="1"
 gtk_false hidden="1"
-gtk_file_chooser_add_choice.options is_array="1" is_out="0" nullable="1"
-gtk_file_chooser_add_choice.option_labels is_array="1" is_out="0" nullable="1"
+gtk_file_chooser_add_choice.options is_array="1" array_null_terminated="1" is_out="0" nullable="1"
+gtk_file_chooser_add_choice.option_labels is_array="1" array_null_terminated="1" is_out="0" nullable="1"
 gtk_file_chooser_add_filter.filter transfer_ownership="1"
 gtk_file_chooser_get_current_folder transfer_ownership="1"
 gtk_file_chooser_get_current_folder_file transfer_ownership="1"