]> git.ipfire.org Git - thirdparty/vala.git/commitdiff
webkit2gtk-4.0: Update to 2.9.90
authorRico Tzschichholz <ricotz@ubuntu.com>
Tue, 18 Aug 2015 12:25:31 +0000 (14:25 +0200)
committerRico Tzschichholz <ricotz@ubuntu.com>
Tue, 18 Aug 2015 12:25:31 +0000 (14:25 +0200)
vapi/webkit2gtk-4.0.vapi

index 6f6ca527defa88eec38b7f0d831c86c03a07452b..ec542f10f669c5d6bb33b4d035db9182935e2100 100644 (file)
@@ -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 {