3
0
Fork 0
mirror of https://github.com/ZeppelinBot/Zeppelin.git synced 2025-03-15 05:41:51 +00:00

Merge pull request #21 from roflmaoqwerty/fix-search-case-sensitivity

fixed search case sensitivity issue
This commit is contained in:
Miikka 2019-12-29 22:55:30 -05:00 committed by GitHub
commit 4e1b135724
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -341,9 +341,9 @@ export class UtilityPlugin extends ZeppelinPlugin<TConfigSchema> {
if (args.query) {
let queryRegex: RegExp;
if (args.regex) {
queryRegex = new RegExp(args.query.trimStart(), args["case-sensitive"] ? "i" : "");
queryRegex = new RegExp(args.query.trimStart(), args["case-sensitive"] ? "" : "i");
} else {
queryRegex = new RegExp(escapeStringRegexp(args.query.trimStart()), args["case-sensitive"] ? "i" : "");
queryRegex = new RegExp(escapeStringRegexp(args.query.trimStart()), args["case-sensitive"] ? "" : "i");
}
if (!safeRegex(queryRegex)) {