Mirrors
/
uBlock
mirror of https://github.com/gorhill/uBlock.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Make element picker mind that network filters are case-insensitive 

Related discussion:
- https://github.com/easylist/easylist/pull/4950#issuecomment-590064744
This commit is contained in:
Raymond Hill 2020-02-24 09:24:54 -05:00
parent c13060aadc
commit 7634604aa8
No known key found for this signature in database
GPG Key ID: 25E1490B761470C2
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/js/scriptlets/element-picker.js
View File

@ -738,7 +738,7 @@ const filterToDOMInterface = (( ) => {
}
let reFilter = null;
try {
reFilter = new RegExp(reStr);
reFilter = new RegExp(reStr, 'i');
}
catch (e) {
return out;