diff options
author | Daniel Carl <danielcarl@gmx.de> | 2014-01-12 20:25:15 +0100 |
---|---|---|
committer | Daniel Carl <danielcarl@gmx.de> | 2014-01-12 22:10:36 +0100 |
commit | d8b406d2512c16accfa7b873e21041bbe33a1d7b (patch) | |
tree | 2049c9e27ed4b81ceca4443f581121689f4499c9 /src/hints.h | |
parent | 6e7e3a1266271041ca794252cf0396764c5638f1 (diff) |
Changes responsibility for hinting (#61).
The JavaScript handles now the clearing of the hints, so that we do not run
into trouble if the hinting object is overwritten by the next page call before
we are able to run the clear() method on it.
The JavaScript handles also the number filter processing now.
Diffstat (limited to 'src/hints.h')
-rw-r--r-- | src/hints.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/hints.h b/src/hints.h index 6503a9d..9a786cb 100644 --- a/src/hints.h +++ b/src/hints.h @@ -25,7 +25,6 @@ void hints_init(WebKitWebFrame *frame); VbResult hints_keypress(int key); void hints_create(const char *input); -void hints_update(int num); void hints_fire(void); void hints_follow_link(const gboolean back, int count); gboolean hints_parse_prompt(const char *prompt, char *mode, gboolean *is_gmode); |