Skip to content

Commit

Permalink
make search with "regex" consistent
Browse files Browse the repository at this point in the history
It is now case-insensitive like the search without "regex"
  • Loading branch information
seelchen committed Jan 12, 2024
1 parent d9a3f38 commit ddaa5a8
Showing 1 changed file with 2 additions and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -69,9 +69,8 @@ class DeepSearch(
} else {
// compile the regular expression in the input
val pattern = Pattern.compile(
bashRegexToJava(
query
)
bashRegexToJava(query),
Pattern.CASE_INSENSITIVE
)
// level 2
if (!isMatchesEnabled) {
Expand Down

0 comments on commit ddaa5a8

Please sign in to comment.