[vala/0.36: 146/212] webkit2gtk-web-extension-4.0: Fix DOM.EventTarget interface
- From: Rico Tzschichholz <ricotz src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [vala/0.36: 146/212] webkit2gtk-web-extension-4.0: Fix DOM.EventTarget interface
- Date: Sat, 14 Apr 2018 07:55:37 +0000 (UTC)
commit 4eea6a89d03d97cb774133457e070feda44af84d
Author: Rico Tzschichholz <ricotz ubuntu com>
Date: Fri Jan 12 17:47:36 2018 +0100
webkit2gtk-web-extension-4.0: Fix DOM.EventTarget interface
vapi/metadata/WebKit2WebExtension-4.0.metadata | 3 +++
vapi/webkit2gtk-web-extension-4.0.vapi | 7 ++++---
2 files changed, 7 insertions(+), 3 deletions(-)
---
diff --git a/vapi/metadata/WebKit2WebExtension-4.0.metadata b/vapi/metadata/WebKit2WebExtension-4.0.metadata
index 3fe3c18..4424438 100644
--- a/vapi/metadata/WebKit2WebExtension-4.0.metadata
+++ b/vapi/metadata/WebKit2WebExtension-4.0.metadata
@@ -6,7 +6,10 @@ _ContextMenuItem skip
Frame.get_javascript_* type="void*"
+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"
URIRequest.get_http_headers unowned
URIResponse.get_http_headers unowned
diff --git a/vapi/webkit2gtk-web-extension-4.0.vapi b/vapi/webkit2gtk-web-extension-4.0.vapi
index 83c3628..a25f75f 100644
--- a/vapi/webkit2gtk-web-extension-4.0.vapi
+++ b/vapi/webkit2gtk-web-extension-4.0.vapi
@@ -2638,10 +2638,11 @@ namespace WebKit {
[CCode (cheader_filename = "webkit2/webkit-web-extension.h", type_id =
"webkit_dom_event_target_get_type ()")]
[GIR (name = "DOMEventTarget")]
public interface EventTarget : GLib.Object {
- public bool add_event_listener_with_closure (string event_name, [CCode (type =
"GClosure*")] owned WebKit.DOM.EventTargetFunc handler, bool use_capture);
+ [CCode (vfunc_name = "add_event_listener")]
+ public abstract bool add_event_listener_with_closure (string event_name, [CCode (type
= "GClosure*")] owned WebKit.DOM.EventTargetFunc handler, bool use_capture);
public abstract bool dispatch_event (WebKit.DOM.Event event) throws GLib.Error;
- public abstract bool remove_event_listener (string event_name, GLib.Closure handler,
bool use_capture);
- public bool remove_event_listener_with_closure (string event_name, GLib.Closure
handler, bool use_capture);
+ [CCode (vfunc_name = "remove_event_listener")]
+ public abstract bool remove_event_listener_with_closure (string event_name, [CCode
(type = "GClosure*")] owned WebKit.DOM.EventTargetFunc handler, bool use_capture);
}
[CCode (cheader_filename = "webkit2/webkit-web-extension.h", type_id =
"webkit_dom_node_filter_get_type ()")]
[GIR (name = "DOMNodeFilter")]
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]