+10

src/common/pages/nav.js

reviewed

··· 85 85 } 86 86 } 87 87 88 88 + export function setupOverflowMenuClose() { 89 89 + const menu = document.getElementById("nav-overflow-menu"); 90 90 + if (!menu) return; 91 91 + menu.addEventListener("click", (e) => { 92 92 + if (/** @type {HTMLElement} */ (e.target).closest("a")) { 93 93 + /** @type {any} */ (menu).hidePopover?.(); 94 94 + } 95 95 + }); 96 96 + } 97 97 + 88 98 let _observer = /** @type {ResizeObserver | undefined} */ (undefined); 89 99 90 100 export function watchResize() {

+1

src/common/pages/ppr.js

reviewed

··· 30 30 Nav.update(); 31 31 Nav.updateActiveLinks(); 32 32 Nav.watchResize(); 33 33 + Nav.setupOverflowMenuClose(); 33 34 34 35 Grid.setupFilter(); 35 36 Grid.insertToggleButtons();