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