Browse Source

Merge pull request #1064 from luncheon/fix-case-insensitive-search

fix: case-insensitive search becomes case-sensitive
master
mengshukeji 3 years ago
committed by GitHub
parent
commit
7ef6096f39
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
  1. 18
      src/controllers/searchReplace.js

18
src/controllers/searchReplace.js

@ -450,10 +450,20 @@ const luckysheetSearchReplace = {
}
}
else{
if(~value.indexOf(searchText)){
if(!((r + "_" + c) in obj)){
obj[r + "_" + c] = 0;
arr.push({"r": r, "c": c});
if(caseCheck){
if(~value.indexOf(searchText)){
if(!((r + "_" + c) in obj)){
obj[r + "_" + c] = 0;
arr.push({"r": r, "c": c});
}
}
}
else{
if(~value.toLowerCase().indexOf(searchText.toLowerCase())){
if(!((r + "_" + c) in obj)){
obj[r + "_" + c] = 0;
arr.push({"r": r, "c": c});
}
}
}
}

Loading…
Cancel
Save