From e69251f4d220a0f2436d93ab0c48f6fbc316385b Mon Sep 17 00:00:00 2001
From: riverwanderer <58135975+riverwanderer@users.noreply.github.com>
Date: Mon, 18 Sep 2023 06:22:25 +0100
Subject: [PATCH] Refresh hotkeys - pre as well as post. Opt-in checkbox.

---
 vassal-app/src/main/java/VASSAL/configure/ConfigureTree.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vassal-app/src/main/java/VASSAL/configure/ConfigureTree.java b/vassal-app/src/main/java/VASSAL/configure/ConfigureTree.java
index cd3c6cbfa9..2732d539b8 100644
--- a/vassal-app/src/main/java/VASSAL/configure/ConfigureTree.java
+++ b/vassal-app/src/main/java/VASSAL/configure/ConfigureTree.java
@@ -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()) {