1 files changed, 13 insertions, 0 deletions
diff --git a/riscos/hotlist.c b/riscos/hotlist.c
index d00e72479..9e86542b2 100644
--- a/riscos/hotlist.c
+++ b/riscos/hotlist.c
@@ -182,6 +182,19 @@ void ro_gui_hotlist_postinitialise(void)
 			ro_gui_hotlist_menu_warning);
 }
 
+/**
+ * Destroy the hotlist window.
+ */
+
+void ro_gui_hotlist_destroy(void)
+{
+	if (hotlist_window.tv == NULL)
+		return;
+
+	tree_hotlist_path = nsoption_charp(hotlist_save);
+	ro_treeview_destroy(hotlist_window.tv);
+}
+
 
 /**
  * Open the hotlist window.