diff options
author | Vincent Sanders <vince@kyllikki.org> | 2020-05-22 17:31:25 +0100 |
---|---|---|
committer | Vincent Sanders <vince@kyllikki.org> | 2020-05-22 17:34:39 +0100 |
commit | d090f016ad753d41077e616db2c17bf1bf1408ec (patch) | |
tree | fda454510ced8b465d5158770c6c6868088e78a7 /frontends/riscos/gui.c | |
parent | 45cac1ea64f01ff31d9152bdd518e2afb941e886 (diff) | |
download | netsurf-d090f016ad753d41077e616db2c17bf1bf1408ec.tar.gz netsurf-d090f016ad753d41077e616db2c17bf1bf1408ec.tar.bz2 |
add page information core window handler to RISC OS
Diffstat (limited to 'frontends/riscos/gui.c')
-rw-r--r-- | frontends/riscos/gui.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/frontends/riscos/gui.c b/frontends/riscos/gui.c index 458f49108..52081b218 100644 --- a/frontends/riscos/gui.c +++ b/frontends/riscos/gui.c @@ -76,6 +76,7 @@ #include "riscos/local_history.h" #include "riscos/global_history.h" #include "riscos/cookies.h" +#include "riscos/pageinfo.h" #include "riscos/wimp_event.h" #include "riscos/uri.h" #include "riscos/url_protocol.h" @@ -1592,6 +1593,7 @@ static void gui_quit(void) ro_gui_window_quit(); ro_gui_local_history_finalise(); ro_gui_global_history_finalise(); + ro_gui_pageinfo_finalise(); ro_gui_hotlist_finalise(); ro_gui_cookies_finalise(); ro_gui_saveas_quit(); |