diff options
| author | miguel <miguel@localhost> | 2018-03-16 01:39:54 +0100 |
|---|---|---|
| committer | miguel <miguel@localhost> | 2018-03-16 01:39:54 +0100 |
| commit | 06085f3b4af17bd7510d56be7fe9e9738a7195cd (patch) | |
| tree | b5ab1f8054f0ec30181a4accd8ee8cf91a17f0cd | |
| parent | f5eb896c9cceec7a85ed98cb727e605252e27fa4 (diff) | |
hide hints in 'follow_link' for 'new_win' as well
| -rw-r--r-- | webext-piper.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/webext-piper.c b/webext-piper.c index 3435d8f..7dd1e87 100644 --- a/webext-piper.c +++ b/webext-piper.c @@ -128,14 +128,15 @@ page_created_callback (WebKitWebExtension *extension, static void follow_link(int id,int link_num,bool new_win) { + hide_hints(my_doc[id],link_num); + hints_active[id]=false; + WebKitDOMHTMLCollection *links = webkit_dom_document_get_links(my_doc[id]); gulong c = webkit_dom_html_collection_get_length (links); if(link_num>=c)return; WebKitDOMHTMLAnchorElement *node = webkit_dom_html_collection_item (links,link_num); if(!new_win) { - hide_hints(my_doc[id],link_num); - hints_active[id]=false; webkit_dom_html_element_click(node); return; } |
