From: Rico Tzschichholz <ricotz@ubuntu.com>
Date: Wed, 26 May 2021 15:05:31 +0000 (+0200)
Subject: webkit2gtk-4.0: Update to 2.33.1
X-Git-Tag: 0.53.1~56
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=00fdea5a07ece0672de86000d184769645d4ace4;p=thirdparty%2Fvala.git

webkit2gtk-4.0: Update to 2.33.1
---

diff --git a/vapi/webkit2gtk-4.0.vapi b/vapi/webkit2gtk-4.0.vapi
index a7616e387..618d7f2e8 100644
--- a/vapi/webkit2gtk-4.0.vapi
+++ b/vapi/webkit2gtk-4.0.vapi
@@ -1329,6 +1329,7 @@ namespace WebKit {
 		public unowned WebKit.WebInspector get_inspector ();
 		[Version (since = "2.30")]
 		public bool get_is_muted ();
+		public bool get_is_web_process_responsive ();
 		[Version (deprecated = true, deprecated_since = "2.22")]
 		public unowned JS.GlobalContext get_javascript_global_context ();
 		public unowned WebKit.WebResource get_main_resource ();
@@ -1385,6 +1386,8 @@ namespace WebKit {
 		[NoWrapper]
 		public virtual bool show_option_menu (Gdk.Rectangle rectangle, WebKit.OptionMenu menu);
 		public void stop_loading ();
+		[Version (since = "2.34")]
+		public void terminate_web_process ();
 		[Version (since = "2.12")]
 		public void try_close ();
 		[CCode (has_construct_function = false, type = "GtkWidget*")]
@@ -1418,6 +1421,8 @@ namespace WebKit {
 		[NoAccessorMethod]
 		[Version (since = "2.8")]
 		public bool is_playing_audio { get; }
+		[Version (since = "2.34")]
+		public bool is_web_process_responsive { get; }
 		[Version (since = "2.28")]
 		public uint64 page_id { get; }
 		[NoAccessorMethod]
@@ -1884,7 +1889,8 @@ namespace WebKit {
 	[Version (since = "2.20")]
 	public enum WebProcessTerminationReason {
 		CRASHED,
-		EXCEEDED_MEMORY_LIMIT
+		EXCEEDED_MEMORY_LIMIT,
+		TERMINATED_BY_API
 	}
 	[CCode (cheader_filename = "webkit2/webkit2.h", cprefix = "WEBKIT_WEBSITE_DATA_", type_id = "webkit_website_data_types_get_type ()")]
 	[Flags]