diff options
author | keis <keijser@gmail.com> | 2011-04-29 21:02:52 +0200 |
---|---|---|
committer | keis <keijser@gmail.com> | 2011-04-29 21:02:52 +0200 |
commit | a4309567b41b24174632319ab700de5c65c6debb (patch) | |
tree | 2314b72e9e5190ff14eb9bf0802e32bc6521a1fe /src | |
parent | 37d3e9056791c97ea057d87bcb256dde9f69f1c5 (diff) |
git rid of unused warning
Diffstat (limited to 'src')
-rw-r--r-- | src/callbacks.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/callbacks.c b/src/callbacks.c index c956f1b..fba4b77 100644 --- a/src/callbacks.c +++ b/src/callbacks.c @@ -1065,6 +1065,7 @@ populate_popup_cb(WebKitWebView *v, GtkMenu *m, void *c) { void window_object_cleared_cb(WebKitWebView *webview, WebKitWebFrame *frame, JSGlobalContextRef *context, JSObjectRef *object) { + (void) frame; (void) context; (void) object; // Take this opportunity to set some callbacks on the DOM WebKitDOMDocument *document = webkit_web_view_get_dom_document (webview); webkit_dom_event_target_add_event_listener (WEBKIT_DOM_EVENT_TARGET (document), @@ -1075,6 +1076,7 @@ window_object_cleared_cb(WebKitWebView *webview, WebKitWebFrame *frame, void dom_focus_cb(WebKitDOMEventTarget *target, WebKitDOMEvent *event, gpointer user_data) { + (void) target; (void) user_data; WebKitDOMEventTarget *etarget = webkit_dom_event_get_target (event); gchar* name = webkit_dom_node_get_node_name (WEBKIT_DOM_NODE (etarget)); send_event (FOCUS_ELEMENT, NULL, TYPE_STR, name, NULL); @@ -1082,6 +1084,7 @@ dom_focus_cb(WebKitDOMEventTarget *target, WebKitDOMEvent *event, gpointer user_ void dom_blur_cb(WebKitDOMEventTarget *target, WebKitDOMEvent *event, gpointer user_data) { + (void) target; (void) user_data; WebKitDOMEventTarget *etarget = webkit_dom_event_get_target (event); gchar* name = webkit_dom_node_get_node_name (WEBKIT_DOM_NODE (etarget)); send_event (BLUR_ELEMENT, NULL, TYPE_STR, name, NULL); |