From 2c549b28fb508b859702f0c2e1122c6ccd3aa34c Mon Sep 17 00:00:00 2001 From: Vincent Sanders Date: Wed, 11 Mar 2020 08:32:52 +0000 Subject: add page information ui elements to GTK frontend --- frontends/gtk/resources.c | 1 + 1 file changed, 1 insertion(+) (limited to 'frontends/gtk/resources.c') diff --git a/frontends/gtk/resources.c b/frontends/gtk/resources.c index a60119ae1..18f0e374f 100644 --- a/frontends/gtk/resources.c +++ b/frontends/gtk/resources.c @@ -87,6 +87,7 @@ static struct nsgtk_resource_s ui_resource[] = { RES_ENTRY("cookies"), RES_ENTRY("viewdata"), RES_ENTRY("warning"), + RES_ENTRY("pageinfo"), { NULL, 0, NSGTK_RESOURCE_FILE, NULL }, }; -- cgit v1.2.3