diff options
Diffstat (limited to 'riscos/hotlist.h')
-rw-r--r-- | riscos/hotlist.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/riscos/hotlist.h b/riscos/hotlist.h index 4993092c9..4cb5a1ff3 100644 --- a/riscos/hotlist.h +++ b/riscos/hotlist.h @@ -48,6 +48,7 @@ bool ro_gui_hotlist_check_menu(wimp_menu *menu); void ro_gui_hotlist_add_page(nsurl *url); void ro_gui_hotlist_add_cleanup(void); void ro_gui_hotlist_remove_page(nsurl *url); +bool ro_gui_hotlist_has_page(nsurl *url); #endif |