Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: cb508f4d82bfa3073355278c7c0a08cc89256468
https://github.com/WebKit/WebKit/commit/cb508f4d82bfa3073355278c7c0a08cc89256468
Author: Carlos Garcia Campos <cgar...@igalia.com>
Date: 2023-01-10 (Tue, 10 Jan 2023)
Changed paths:
M Source/WebKit/Shared/API/APIError.cpp
M Source/WebKit/UIProcess/API/glib/WebKitError.cpp
M Source/WebKit/UIProcess/API/glib/WebKitError.h.in
M Source/WebKit/UIProcess/API/glib/WebKitPrivate.cpp
M Source/WebKit/UIProcess/API/glib/WebKitWebView.cpp
Log Message:
-----------
[WPE][GTK] WEBKIT_PLUGIN_ERROR_WILL_HANDLE_LOAD is gone, but still required
https://bugs.webkit.org/show_bug.cgi?id=250023
Reviewed by Michael Catanzaro.
Add new error domain WebKitMediaError and code
WEBKIT_MEDIA_ERROR_WILL_HANDLE_LOAD.
* Source/WebKit/Shared/API/APIError.cpp:
(API::Error::webKitPluginErrorDomain):
* Source/WebKit/UIProcess/API/glib/WebKitError.cpp:
* Source/WebKit/UIProcess/API/glib/WebKitError.h.in:
* Source/WebKit/UIProcess/API/glib/WebKitPrivate.cpp:
(toWebKitError):
(toWebCoreError):
* Source/WebKit/UIProcess/API/glib/WebKitWebView.cpp:
(webkitWebViewLoadFail):
Canonical link: https://commits.webkit.org/258772@main
_______________________________________________
webkit-changes mailing list
webkit-changes@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-changes
