[vala] webkit2gtk-4.0: Update to 2.9.90



commit aa61518dd6c6ce0c5b41943dd78dd6379b4c90ec
Author: Rico Tzschichholz <ricotz ubuntu com>
Date:   Tue Aug 18 14:25:31 2015 +0200

    webkit2gtk-4.0: Update to 2.9.90

 vapi/webkit2gtk-4.0.vapi |    6 ++++++
 1 files changed, 6 insertions(+), 0 deletions(-)
---
diff --git a/vapi/webkit2gtk-4.0.vapi b/vapi/webkit2gtk-4.0.vapi
index 6f6ca52..ec542f1 100644
--- a/vapi/webkit2gtk-4.0.vapi
+++ b/vapi/webkit2gtk-4.0.vapi
@@ -234,6 +234,12 @@ namespace WebKit {
                public string link_uri { get; construct; }
                public string media_uri { get; construct; }
        }
+       [CCode (cheader_filename = "webkit2/webkit2.h", type_id = 
"webkit_install_missing_media_plugins_permission_request_get_type ()")]
+       public class InstallMissingMediaPluginsPermissionRequest : GLib.Object, WebKit.PermissionRequest {
+               [CCode (has_construct_function = false)]
+               protected InstallMissingMediaPluginsPermissionRequest ();
+               public unowned string get_description ();
+       }
        [CCode (cheader_filename = "webkit2/webkit2.h", ref_function = "webkit_javascript_result_ref", 
type_id = "webkit_javascript_result_get_type ()", unref_function = "webkit_javascript_result_unref")]
        [Compact]
        public class JavascriptResult {


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]