GAIA Requests Editor

// Filter navigation function setupFilter() { const input = document.getElementById('filterInput'); if (!input) return; input.oninput = function() { const filter = this.value.toLowerCase(); const items = document.querySelectorAll('.nav-item'); items.forEach(item => { const text = item.textContent.toLowerCase(); item.style.display = text.includes(filter) ? '' : 'none'; }); }; } // Hook into renderNavigation const _origRenderNav = renderNavigation; renderNavigation = function() { _origRenderNav(); setupFilter(); }; GAIA Requests Editor

Load a JSON file to start editing

📚 File Extensions Reference

Loading reference...