diff options
| author | Vincent Sanders <vince@kyllikki.org> | 2019-12-01 21:43:32 +0000 |
|---|---|---|
| committer | Vincent Sanders <vince@kyllikki.org> | 2019-12-01 21:44:55 +0000 |
| commit | fac20e8d38b6c05312a349cb05511719201e3f10 (patch) | |
| tree | 5ee5c406a4be3434873f2faca38d743c2110b53c /frontends/gtk/window.c | |
| parent | 65e55121601a1f1b5a7dc1ec9130b333388a6de8 (diff) | |
| download | netsurf-fac20e8d38b6c05312a349cb05511719201e3f10.tar.gz netsurf-fac20e8d38b6c05312a349cb05511719201e3f10.tar.bz2 | |
make gtk frontend use page information icons
Diffstat (limited to 'frontends/gtk/window.c')
| -rw-r--r-- | frontends/gtk/window.c | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/frontends/gtk/window.c b/frontends/gtk/window.c index 39bd06bc4..39b7413d3 100644 --- a/frontends/gtk/window.c +++ b/frontends/gtk/window.c @@ -1445,6 +1445,15 @@ static nserror throbber(struct gui_window *gw, bool active) /** + * handle page info changing + */ +static nserror page_info_change(struct gui_window *gw) +{ + nsgtk_toolbar_page_info_change(gw->toolbar); + return NSERROR_OK; +} + +/** * GTK window UI callback to process miscellaneous events * * \param gw The window receiving the event. @@ -1475,6 +1484,10 @@ gui_window_event(struct gui_window *gw, enum gui_window_event event) throbber(gw, false); break; + case GW_EVENT_PAGE_INFO_CHANGE: + page_info_change(gw); + break; + default: break; } |