From 69d364bad8f36c9a2d5f2bd57bb19951747650f8 Mon Sep 17 00:00:00 2001 From: gaelle morin Date: Mon, 14 Dec 2020 11:53:45 +0100 Subject: [PATCH] feature: right-hand menu for circles --- src/page-circle.pug | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/page-circle.pug b/src/page-circle.pug index 8756f50..3c39c57 100644 --- a/src/page-circle.pug +++ b/src/page-circle.pug @@ -23,7 +23,7 @@ nav.jsRightMenu(role='navigation') a(data-trans='circle.menuRight.chat') solid-route(name='circle-information') li.segment.padding-medium - .icon.ci-information.icon-xlarge.margin-right-small + span.icon.ci-information.icon-xlarge.margin-right-small a(data-trans='circle.menuRight.information') if (endpoints.resources || (endpoints.get && endpoints.get.resources)) && (endpoints.resourceskeywords || (endpoints.get && endpoints.get.resourceskeywords)) && (endpoints.resourcestypes || (endpoints.get && endpoints.get.resourcestypes)) solid-route(name='circle-resources' use-id)