From 7634604aa812f89b1a1e48ced3b778d89552cf8c Mon Sep 17 00:00:00 2001
From: Raymond Hill <rhill@raymondhill.net>
Date: Mon, 24 Feb 2020 09:24:54 -0500
Subject: [PATCH] Make element picker mind that network filters are
 case-insensitive

Related discussion:
- https://github.com/easylist/easylist/pull/4950#issuecomment-590064744
---
 src/js/scriptlets/element-picker.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/js/scriptlets/element-picker.js b/src/js/scriptlets/element-picker.js
index 1a366c394..e445c61eb 100644
--- a/src/js/scriptlets/element-picker.js
+++ b/src/js/scriptlets/element-picker.js
@@ -738,7 +738,7 @@ const filterToDOMInterface = (( ) => {
         }
         let reFilter = null;
         try {
-            reFilter = new RegExp(reStr);
+            reFilter = new RegExp(reStr, 'i');
         }
         catch (e) {
             return out;