From 5f2163f37847cbb764a43df36581c509505df9f3 Mon Sep 17 00:00:00 2001 From: "P.C. Shyamshankar" Date: Sun, 13 Jul 2025 09:49:45 -0400 Subject: [PATCH 1/2] Add search option for case-sensitive search. --- index.html | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/index.html b/index.html index ce6a2038818..a6002df84be 100644 --- a/index.html +++ b/index.html @@ -30,6 +30,7 @@ query: '', packages: [], more_results: false, + case_sensitive: true, init() { this.loadPackages(); @@ -49,7 +50,8 @@ } try { - const regex = RegExp(this.query); + if (this.case_sensitive) flags = ""; else flags = "i"; + const regex = RegExp(this.query, flags); const results = this.packages.filter(pkg => { return regex.test(pkg.name); }) @@ -112,7 +114,11 @@
- + +
+
+ +
@@ -145,4 +151,4 @@ - \ No newline at end of file + From ebd933ad216a3c1c489520777496e8e415500572 Mon Sep 17 00:00:00 2001 From: "P.C. Shyamshankar" Date: Thu, 18 Sep 2025 06:13:08 -0700 Subject: [PATCH 2/2] Remove dedicated div, keep case-insensitivity flag. --- index.html | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/index.html b/index.html index a6002df84be..f2bfdbe5de5 100644 --- a/index.html +++ b/index.html @@ -30,7 +30,6 @@ query: '', packages: [], more_results: false, - case_sensitive: true, init() { this.loadPackages(); @@ -50,8 +49,7 @@ } try { - if (this.case_sensitive) flags = ""; else flags = "i"; - const regex = RegExp(this.query, flags); + const regex = RegExp(this.query, "i"); const results = this.packages.filter(pkg => { return regex.test(pkg.name); }) @@ -115,10 +113,6 @@
-
-
- -