diff options
author | Vincent Sanders <vince@kyllikki.org> | 2019-12-07 21:24:34 +0000 |
---|---|---|
committer | Vincent Sanders <vince@kyllikki.org> | 2019-12-07 21:24:34 +0000 |
commit | c95adedc06f64b7467786d91314463588213520a (patch) | |
tree | 87f95b42be6393aa89526fc2f7e47f1369bfe54d /frontends/riscos/window.c | |
parent | 9dd701357e21c99d448033f59c6045a45c48ed9f (diff) | |
download | netsurf-c95adedc06f64b7467786d91314463588213520a.tar.gz netsurf-c95adedc06f64b7467786d91314463588213520a.tar.bz2 |
add page info display to RiscOS frontend
Diffstat (limited to 'frontends/riscos/window.c')
-rw-r--r-- | frontends/riscos/window.c | 20 |
1 files changed, 18 insertions, 2 deletions
diff --git a/frontends/riscos/window.c b/frontends/riscos/window.c index 96346f800..fcb6b08f2 100644 --- a/frontends/riscos/window.c +++ b/frontends/riscos/window.c @@ -3762,7 +3762,6 @@ static void gui_window_start_throbber(struct gui_window *g) } - /** * Update the interface to reflect page loading stopped. * @@ -3777,6 +3776,20 @@ static void gui_window_stop_throbber(struct gui_window *g) g->active = false; } + +/** + * Update the interface to reflect change in page info status + * + * \param gw window with start of load + */ +static void gui_window_page_info_change(struct gui_window *gw) +{ + if (gw->toolbar != NULL) { + ro_toolbar_page_info_change(gw->toolbar); + } +} + + /** * set favicon */ @@ -3790,7 +3803,6 @@ gui_window_set_icon(struct gui_window *g, struct hlcache_handle *icon) } - /** * Remove the caret, if present. * @@ -4174,6 +4186,10 @@ ro_gui_window_event(struct gui_window *gw, enum gui_window_event event) gui_start_selection(gw); break; + case GW_EVENT_PAGE_INFO_CHANGE: + gui_window_page_info_change(gw); + break; + default: break; } |