Fix ongoing search case sensitivity

r0levrai · Mar 19, 2024 · c64abed · c64abed
1 parent aea8d21
commit c64abed
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/search.js b/search.js
@@ -64,10 +64,15 @@ class SuffixTree {
     }
 }
 
-function all_words_in_name(string, name) {
+function all_words_in_name(string, name, case_sensitive = false) {
     /* return true if all words of string are in name
     use this when you don't need the data structure,
     e.g. if you are loading names one by one */
+    if (!case_sensitive)
+    {
+        string = string.toLowerCase();
+        name = name.toLowerCase();
+    }
     let words = string.split(' ');
     for (let i in words) {
         let word = words[i];