From 7d60076b8b275771a1aa98f017aff845ef68d964 Mon Sep 17 00:00:00 2001
From: AUTOMATIC1111 <16777216c@gmail.com>
Date: Tue, 3 Oct 2023 16:22:32 +0300
Subject: [PATCH] case-insensitive search for settings

---
 javascript/settings.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/javascript/settings.js b/javascript/settings.js
index 7889cf1cd..4e79ec003 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";
         });