[vala] vapi: Update GIR-based bindings

[Rico Tzschichholz <ricotz src gnome org>]

commit 8d57dffdea43a9d663e12b52722ef567c705bf5e
Author: Rico Tzschichholz <ricotz ubuntu com>
Date:   Tue Jan 20 19:12:26 2015 +0100

    vapi: Update GIR-based bindings

 vapi/atk.vapi                          |    4 ++++
 vapi/atspi-2.vapi                      |    1 +
 vapi/gdk-3.0.vapi                      |    4 ++++
 vapi/webkit2gtk-4.0.vapi               |   11 ++++++++++-
 vapi/webkit2gtk-web-extension-4.0.vapi |    2 ++
 5 files changed, 21 insertions(+), 1 deletions(-)
---
diff --git a/vapi/atk.vapi b/vapi/atk.vapi
index 149dc55..a8ec2b5 100644
--- a/vapi/atk.vapi
+++ b/vapi/atk.vapi
@@ -740,6 +740,10 @@ namespace Atk {
                DESCRIPTION_TERM,
                DESCRIPTION_VALUE,
                STATIC,
+               MATH_FRACTION,
+               MATH_ROOT,
+               SUBSCRIPT,
+               SUPERSCRIPT,
                LAST_DEFINED;
                [CCode (cheader_filename = "atk/atk.h")]
                public static Atk.Role for_name (string name);
diff --git a/vapi/atspi-2.vapi b/vapi/atspi-2.vapi
index 29014bd..9e97211 100644
--- a/vapi/atspi-2.vapi
+++ b/vapi/atspi-2.vapi
@@ -740,6 +740,7 @@ namespace Atspi {
                VISITED,
                CHECKABLE,
                HAS_POPUP,
+               READ_ONLY,
                LAST_DEFINED
        }
        [CCode (cheader_filename = "atspi/atspi.h", cprefix = "ATSPI_TEXT_BOUNDARY_", type_id = 
"atspi_text_boundary_type_get_type ()")]
diff --git a/vapi/gdk-3.0.vapi b/vapi/gdk-3.0.vapi
index faa09a1..1977d99 100644
--- a/vapi/gdk-3.0.vapi
+++ b/vapi/gdk-3.0.vapi
@@ -4622,8 +4622,10 @@ namespace Gdk {
                public unowned string get_name ();
                public void get_position (out unowned Gdk.Screen screen, out int x, out int y);
                public void get_position_double (out unowned Gdk.Screen screen, out double x, out double y);
+               public unowned string? get_product_id ();
                public Gdk.InputSource get_source ();
                public void get_state (Gdk.Window window, [CCode (array_length = false)] double[]? axes, out 
Gdk.ModifierType mask);
+               public unowned string? get_vendor_id ();
                public unowned Gdk.Window? get_window_at_position (out int win_x, out int win_y);
                public unowned Gdk.Window? get_window_at_position_double (out double win_x, out double win_y);
                public Gdk.GrabStatus grab (Gdk.Window window, Gdk.GrabOwnership grab_ownership, bool 
owner_events, Gdk.EventMask event_mask, Gdk.Cursor? cursor, uint32 time_);
@@ -4645,8 +4647,10 @@ namespace Gdk {
                public Gdk.InputSource input_source { get; construct; }
                public uint n_axes { get; }
                public string? name { get; construct; }
+               public string product_id { get; construct; }
                [NoAccessorMethod]
                public Gdk.DeviceType type { get; construct; }
+               public string vendor_id { get; construct; }
                public signal void changed ();
        }
        [CCode (cheader_filename = "gdk/gdk.h", type_id = "gdk_device_manager_get_type ()")]
diff --git a/vapi/webkit2gtk-4.0.vapi b/vapi/webkit2gtk-4.0.vapi
index 9a49fd4..c7c0f27 100644
--- a/vapi/webkit2gtk-4.0.vapi
+++ b/vapi/webkit2gtk-4.0.vapi
@@ -662,6 +662,7 @@ namespace WebKit {
                public WebKit.Download download_uri (string uri);
                public void execute_editing_command (string command);
                public unowned WebKit.BackForwardList get_back_forward_list ();
+               public Gdk.RGBA get_background_color ();
                public unowned WebKit.WebContext get_context ();
                public unowned string get_custom_charset ();
                public double get_estimated_load_progress ();
@@ -681,6 +682,7 @@ namespace WebKit {
                public void go_back ();
                public void go_forward ();
                public void go_to_back_forward_list_item (WebKit.BackForwardListItem list_item);
+               public bool is_editable ();
                public void load_alternate_html (string content, string content_uri, string? base_uri);
                public void load_bytes (GLib.Bytes bytes, string? mime_type, string? encoding, string? 
base_uri);
                public void load_html (string content, string? base_uri);
@@ -694,7 +696,9 @@ namespace WebKit {
                public async WebKit.JavascriptResult run_javascript_from_gresource (string resource, 
GLib.Cancellable? cancellable) throws GLib.Error;
                public async GLib.InputStream save (WebKit.SaveMode save_mode, GLib.Cancellable? cancellable) 
throws GLib.Error;
                public async bool save_to_file (GLib.File file, WebKit.SaveMode save_mode, GLib.Cancellable? 
cancellable) throws GLib.Error;
+               public void set_background_color (Gdk.RGBA rgba);
                public void set_custom_charset (string? charset);
+               public void set_editable (bool editable);
                public void set_settings (WebKit.Settings settings);
                public void set_zoom_level (double zoom_level);
                public void stop_loading ();
@@ -704,10 +708,14 @@ namespace WebKit {
                public WebView.with_settings (WebKit.Settings settings);
                [CCode (has_construct_function = false, type = "GtkWidget*")]
                public WebView.with_user_content_manager (WebKit.UserContentManager user_content_manager);
+               [NoAccessorMethod]
+               public bool editable { get; set; }
                public double estimated_load_progress { get; }
                public void* favicon { get; }
                [NoAccessorMethod]
                public bool is_loading { get; }
+               [NoAccessorMethod]
+               public bool is_playing_audio { get; }
                public WebKit.WebView related_view { construct; }
                public WebKit.Settings settings { set construct; }
                public string title { get; }
@@ -927,7 +935,8 @@ namespace WebKit {
        [Flags]
        public enum SnapshotOptions {
                NONE,
-               INCLUDE_SELECTION_HIGHLIGHTING
+               INCLUDE_SELECTION_HIGHLIGHTING,
+               TRANSPARENT_BACKGROUND
        }
        [CCode (cheader_filename = "webkit2/webkit2.h", cprefix = "WEBKIT_SNAPSHOT_REGION_", type_id = 
"webkit_snapshot_region_get_type ()")]
        public enum SnapshotRegion {
diff --git a/vapi/webkit2gtk-web-extension-4.0.vapi b/vapi/webkit2gtk-web-extension-4.0.vapi
index ef9b8f5..c871494 100644
--- a/vapi/webkit2gtk-web-extension-4.0.vapi
+++ b/vapi/webkit2gtk-web-extension-4.0.vapi
@@ -289,6 +289,8 @@ namespace WebKit {
                        public string charset { owned get; set; }
                        [NoAccessorMethod]
                        public string compat_mode { owned get; }
+                       [NoAccessorMethod]
+                       public string content_type { owned get; }
                        public string cookie { owned get; set; }
                        [NoAccessorMethod]
                        public WebKit.DOM.HTMLScriptElement current_script { owned get; }