Skip to content

Commit

Permalink
Refresh hotkeys - pre as well as post. Opt-in checkbox.
Browse files Browse the repository at this point in the history
  • Loading branch information
riverwanderer committed Sep 18, 2023
1 parent 71932d0 commit e69251f
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -2663,7 +2663,7 @@ else if (c instanceof PrototypeDefinition) {
private boolean checkString(String target, String searchString) {
if (searchParameters.isMatchRegex()) {
// patch search string to avoid exception when Regex starts with * only
if (searchString.substring(0,1) == "*") {
if (searchString.substring(0, 1) == "*") {
searchString = "." + searchString;
}
if (searchParameters.isMatchCase()) {
Expand Down

0 comments on commit e69251f

Please sign in to comment.