From 61082fd703a5cee6d93b2bb6a417284b42367457 Mon Sep 17 00:00:00 2001
From: riverwanderer <58135975+riverwanderer@users.noreply.github.com>
Date: Thu, 14 Sep 2023 19:40:05 +0100
Subject: [PATCH] Experimental VassalRefreshGHK.

---
 .../src/main/java/VASSAL/build/module/GameRefresher.java       | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/vassal-app/src/main/java/VASSAL/build/module/GameRefresher.java b/vassal-app/src/main/java/VASSAL/build/module/GameRefresher.java
index 30f4ac4f97..a32ca7d12e 100644
--- a/vassal-app/src/main/java/VASSAL/build/module/GameRefresher.java
+++ b/vassal-app/src/main/java/VASSAL/build/module/GameRefresher.java
@@ -47,6 +47,7 @@
 import VASSAL.i18n.Resources;
 import VASSAL.tools.BrowserSupport;
 import VASSAL.tools.ErrorDialog;
+import VASSAL.tools.NamedKeyStroke;
 import VASSAL.tools.swing.FlowLabel;
 import VASSAL.tools.swing.SwingUtils;
 import net.miginfocom.swing.MigLayout;
@@ -536,6 +537,8 @@ else if (!decksToDelete.isEmpty()) {
         log(Resources.getString("GameRefresher.refreshable_decks", refreshable));
         log(Resources.getString(options.contains("DeleteOldDecks") ? "GameRefresher.deletable_decks" : "GameRefresher.deletable_decks_2", deletable)); //NON-NLS
         log(Resources.getString(options.contains("AddNewDecks") ? "GameRefresher.addable_decks" : "GameRefresher.addable_decks_2", addable)); //NON-NLS
+
+        GameModule.getGameModule().fireKeyStroke(NamedKeyStroke.of("VassalRefreshGHK"));
       }
     }
   }