diff options
| author | Rico Tzschichholz <ricotz@ubuntu.com> | 2021-10-25 09:13:51 +0200 |
|---|---|---|
| committer | Rico Tzschichholz <ricotz@ubuntu.com> | 2021-10-25 09:16:55 +0200 |
| commit | e259ba434cee5fb526e62d4a46fc5121fbda046a (patch) | |
| tree | 71bf09813292bbb43cdc07de92a14331208afa86 /vapi/metadata/WebKit2WebExtension-5.0.metadata | |
| parent | 96d4a48536adf7f8e04ed42b93bcc5d67551adfe (diff) | |
| download | vala-e259ba434cee5fb526e62d4a46fc5121fbda046a.tar.gz | |
vapi: Add webkit2gtk-5.0 bindings
Diffstat (limited to 'vapi/metadata/WebKit2WebExtension-5.0.metadata')
| -rw-r--r-- | vapi/metadata/WebKit2WebExtension-5.0.metadata | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/vapi/metadata/WebKit2WebExtension-5.0.metadata b/vapi/metadata/WebKit2WebExtension-5.0.metadata new file mode 100644 index 000000000..7a6c00ac5 --- /dev/null +++ b/vapi/metadata/WebKit2WebExtension-5.0.metadata @@ -0,0 +1,23 @@ +DOM* parent="WebKit.DOM" name="DOM(.+)" + +DOMEventTarget.add_event_listener skip +_ContextMenu skip +_ContextMenuItem skip + +DOMEventTarget.add_event_listener_with_closure abstract vfunc_name="add_event_listener" +DOMEventTarget.add_event_listener_with_closure.handler type="owned WebKit.DOM.EventTargetFunc" +DOMEventTarget.remove_event_listener_with_closure abstract vfunc_name="remove_event_listener" +DOMEventTarget.remove_event_listener_with_closure.handler type="owned WebKit.DOM.EventTargetFunc" + +Frame + .get_js_context type="JSC.Context" + .get_js_context_for_script_world type="JSC.Context" + .get_js_value_for_dom_object type="JSC.Value" + .get_js_value_for_dom_object_in_script_world type="JSC.Value" + +DOMNode + .for_js_value.value type="JSC.Value" + +URIRequest.get_http_headers unowned +URIResponse.get_http_headers unowned + |