diff options
Diffstat (limited to 'riscos/global_history.c')
| -rw-r--r-- | riscos/global_history.c | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/riscos/global_history.c b/riscos/global_history.c index dfabbe9cf..840271f93 100644 --- a/riscos/global_history.c +++ b/riscos/global_history.c @@ -160,6 +160,18 @@ void ro_gui_global_history_postinitialise(void) } /** + * Destroy the global history window. + */ + +void ro_gui_global_history_destroy(void) +{ + if (global_history_window.tv == NULL) + return; + + ro_treeview_destroy(global_history_window.tv); +} + +/** * Open the global history window. */ |