search: Match plaintext case-insensitively [fix #27]

jeremy-w · Aug 20, 2024 · c262a19 · c262a19
1 parent b7c06ae
commit c262a19
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/_includes/search-dictionary.html b/_includes/search-dictionary.html
@@ -74,13 +74,14 @@
     }
   }
 
-  function showAllExamplesOfEntriesWithPlaintextMatching(query) {
-    const showAll = query === ''
+  function showAllExamplesOfEntriesWithPlaintextMatching(/** @type{string} */query) {
+    const lowercaseTrimmedQuery = query.trim().toLowerCase()
+    const showAll = lowercaseTrimmedQuery === ''
     const anchors = document.querySelectorAll('a[data-plaintext]')
     let entryCount = 0
     for (const anchor of anchors) {
-      const plaintext = anchor.dataset.plaintext.replaceAll('\\"', '"')
-      const isMatch = showAll || plaintext.includes(query)
+      const plaintext = anchor.dataset.plaintext.replaceAll('\\"', '"').toLowerCase()
+      const isMatch = showAll || plaintext.includes(lowercaseTrimmedQuery)
 
       const entry = anchor.closest('li')
       if (isMatch) {