diff options
Diffstat (limited to 'desktop/cookie_manager.h')
| -rw-r--r-- | desktop/cookie_manager.h | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/desktop/cookie_manager.h b/desktop/cookie_manager.h index 724923677..b84490726 100644 --- a/desktop/cookie_manager.h +++ b/desktop/cookie_manager.h @@ -90,7 +90,6 @@ void cookie_manager_redraw(int x, int y, struct rect *clip, */ void cookie_manager_mouse_action(browser_mouse_state mouse, int x, int y); - /** * Key press handling. * @@ -99,4 +98,18 @@ void cookie_manager_mouse_action(browser_mouse_state mouse, int x, int y); */ void cookie_manager_keypress(uint32_t key); +/** + * Determine whether there is a selection + * + * \return true iff there is a selection + */ +bool cookie_manager_has_selection(void); + +/** + * Find current height + * + * \return height in px + */ +int cookie_manager_get_height(void); + #endif |