diff options
| author | AUTOMATIC <16777216c@gmail.com> | 2023-01-22 10:30:55 +0300 |
|---|---|---|
| committer | AUTOMATIC <16777216c@gmail.com> | 2023-01-22 10:30:55 +0300 |
| commit | 159f05314d0cf55e3891e4e4510ebfc861fa6da5 (patch) | |
| tree | d436e50dcad6bf23ec445a353a64f4ea4009ad3d | |
| parent | 837ec11828a766f6d8109402ed8c856bc16c610a (diff) | |
make extra networks search case-insensitive
| -rw-r--r-- | javascript/extraNetworks.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/javascript/extraNetworks.js b/javascript/extraNetworks.js index 54ded58c..c5a9adb3 100644 --- a/javascript/extraNetworks.js +++ b/javascript/extraNetworks.js @@ -13,10 +13,10 @@ function setupExtraNetworksForTab(tabname){ tabs.appendChild(close)
search.addEventListener("input", function(evt){
- searchTerm = search.value
+ searchTerm = search.value.toLowerCase()
gradioApp().querySelectorAll('#'+tabname+'_extra_tabs div.card').forEach(function(elem){
- text = elem.querySelector('.name').textContent
+ text = elem.querySelector('.name').textContent.toLowerCase()
elem.style.display = text.indexOf(searchTerm) == -1 ? "none" : ""
})
});
|