From 5b5c2ae7e77454f47ad240d7c349bd8be2193b4e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= Date: Mon, 27 Jul 2020 21:42:48 +0200 Subject: [PATCH] portal agent: make it possible to create publik menu from pages (#47550) --- static/portal-agent/js/publik.js | 29 ++++++++++++++++++++++++++++- 1 file changed, 28 insertions(+), 1 deletion(-) diff --git a/static/portal-agent/js/publik.js b/static/portal-agent/js/publik.js index 3fb0e9b1..572bb4ae 100644 --- a/static/portal-agent/js/publik.js +++ b/static/portal-agent/js/publik.js @@ -68,7 +68,34 @@ $(function() { $(document).trigger('publik:menu-loaded'); } - if (window.sessionStorage.hobo_environment && + if (typeof PUBLIK_EXPLICIT_MENU !== 'undefined' && PUBLIK_EXPLICIT_MENU) { + var $sidepage_menu = $('#sidepage-menu'); + var has_menu = ($sidepage_menu.length > 0); + if (has_menu) { + $sidepage_menu.empty(); + } else { + $sidepage_menu = $('