diff options
Diffstat (limited to 'desktop/gui.h')
| -rw-r--r-- | desktop/gui.h | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/desktop/gui.h b/desktop/gui.h index 815bbe3ca..a3c853633 100644 --- a/desktop/gui.h +++ b/desktop/gui.h @@ -135,11 +135,6 @@ void gui_create_form_select_menu(struct browser_window *bw, void gui_launch_url(const char *url); -bool gui_search_term_highlighted(struct gui_window *g, - unsigned start_offset, unsigned end_offset, - unsigned *start_idx, unsigned *end_idx, - struct search_context *context); - struct ssl_cert_info; void gui_cert_verify(const char *url, const struct ssl_cert_info *certs, |