add page info display to RiscOS frontend

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;
 	}