summaryrefslogtreecommitdiff
path: root/riscos/hotlist.h
diff options
context:
space:
mode:
Diffstat (limited to 'riscos/hotlist.h')
-rw-r--r--riscos/hotlist.h1
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