From e2fe0ef36fc31c44e9064b6fd1d8c6dfc139be1d Mon Sep 17 00:00:00 2001 From: Vladimir Mandic Date: Thu, 14 Sep 2023 15:41:58 -0400 Subject: [PATCH] fix en filter by folder on windows --- javascript/extraNetworks.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/javascript/extraNetworks.js b/javascript/extraNetworks.js index b59129103..0a0cfa9b7 100644 --- a/javascript/extraNetworks.js +++ b/javascript/extraNetworks.js @@ -160,7 +160,7 @@ function setupExtraNetworksForTab(tabname) { const searchTerm = search.value.toLowerCase(); gradioApp().querySelectorAll(`#${tabname}_extra_tabs div.card`).forEach((elem) => { let text = `${elem.querySelector('.name').textContent.toLowerCase()} ${elem.querySelector('.search_term').textContent.toLowerCase()}`; - text = text.replace('models--', 'Diffusers'); + text = text.replace('models--', 'Diffusers').replace('\\', '/'); elem.style.display = text.indexOf(searchTerm) === -1 ? 'none' : ''; }); searchTimer = null;