diff options
author | Rico Tzschichholz <ricotz@ubuntu.com> | 2017-06-21 20:07:22 +0200 |
---|---|---|
committer | Rico Tzschichholz <ricotz@ubuntu.com> | 2017-08-14 17:10:48 +0200 |
commit | 7596adc4184401a4d831851f2bd21f35d011602d (patch) | |
tree | c3056a9fcbb4256f9d12502d0f6868cc5e203f45 /vapi/metadata/WebKit2WebExtension-4.0.metadata | |
parent | 9229a1beeb6f18805e6e25e5812170c7f9bae36b (diff) | |
download | vala-wip/javascript.tar.gz |
vapi: Add javascriptcoregtk-4.0 and avoid skips in webkit2gtk*-4.0wip/javascript
Diffstat (limited to 'vapi/metadata/WebKit2WebExtension-4.0.metadata')
-rw-r--r-- | vapi/metadata/WebKit2WebExtension-4.0.metadata | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/vapi/metadata/WebKit2WebExtension-4.0.metadata b/vapi/metadata/WebKit2WebExtension-4.0.metadata index 3fe3c186f..fc55a16a2 100644 --- a/vapi/metadata/WebKit2WebExtension-4.0.metadata +++ b/vapi/metadata/WebKit2WebExtension-4.0.metadata @@ -4,8 +4,6 @@ DOMEventTarget.add_event_listener skip _ContextMenu skip _ContextMenuItem skip -Frame.get_javascript_* type="void*" - DOMEventTarget.add_event_listener_with_closure.handler type="owned WebKit.DOM.EventTargetFunc" URIRequest.get_http_headers unowned |