diff options
| author | AUTOMATIC1111 <16777216c@gmail.com> | 2023-10-03 13:22:32 +0000 |
|---|---|---|
| committer | AUTOMATIC1111 <16777216c@gmail.com> | 2023-10-03 13:22:32 +0000 |
| commit | 7d60076b8b275771a1aa98f017aff845ef68d964 (patch) | |
| tree | dadc72f7fa370f3fb1f31cff657a0caea41a1233 | |
| parent | 77171923f8b93af4d595ab4b7cde5b0b18010fe8 (diff) | |
| download | stable-diffusion-webui-gfx803-7d60076b8b275771a1aa98f017aff845ef68d964.tar.gz stable-diffusion-webui-gfx803-7d60076b8b275771a1aa98f017aff845ef68d964.tar.bz2 stable-diffusion-webui-gfx803-7d60076b8b275771a1aa98f017aff845ef68d964.zip | |
case-insensitive search for settings
| -rw-r--r-- | javascript/settings.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/javascript/settings.js b/javascript/settings.js index 7889cf1c..4e79ec00 100644 --- a/javascript/settings.js +++ b/javascript/settings.js @@ -24,10 +24,10 @@ onUiLoaded(function() { var settings_tabs = gradioApp().querySelector('#settings div'); onEdit('settingsSearch', editTextarea, 250, function() { - var searchText = (editTextarea.value || "").trim(); + var searchText = (editTextarea.value || "").trim().toLowerCase(); gradioApp().querySelectorAll('#settings > div[id^=settings_] div[id^=column_settings_] > *').forEach(function(elem) { - var visible = elem.textContent.trim().indexOf(searchText) != -1; + var visible = elem.textContent.trim().toLowerCase().indexOf(searchText) != -1; elem.style.display = visible ? "" : "none"; }); |