From 3d0d144a5a493d226e8c422201b60b9e0e657231 Mon Sep 17 00:00:00 2001
From: travis guenther <57420975+tguen@users.noreply.github.com>
Date: Mon, 8 May 2023 16:58:44 -0700
Subject: [PATCH] add textbox shortcut ctrl+shift+z to redo

---
 .../josm/gui/widgets/TextContextualPopupMenu.java            | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/org/openstreetmap/josm/gui/widgets/TextContextualPopupMenu.java b/src/org/openstreetmap/josm/gui/widgets/TextContextualPopupMenu.java
index 6d3f93b33..cc91c54cf 100644
--- a/src/org/openstreetmap/josm/gui/widgets/TextContextualPopupMenu.java
+++ b/src/org/openstreetmap/josm/gui/widgets/TextContextualPopupMenu.java
@@ -5,6 +5,7 @@ import static org.openstreetmap.josm.tools.I18n.tr;
 
 import java.awt.GraphicsEnvironment;
 import java.awt.event.ActionEvent;
+import java.awt.event.InputEvent;
 import java.awt.event.KeyEvent;
 import java.beans.PropertyChangeListener;
 
@@ -101,6 +102,8 @@ public class TextContextualPopupMenu extends JPopupMenu {
                         KeyStroke.getKeyStroke(KeyEvent.VK_Z, PlatformManager.getPlatform().getMenuShortcutKeyMaskEx()), undoAction);
                 component.getInputMap().put(
                         KeyStroke.getKeyStroke(KeyEvent.VK_Y, PlatformManager.getPlatform().getMenuShortcutKeyMaskEx()), redoAction);
+                component.getInputMap().put(
+                        KeyStroke.getKeyStroke(KeyEvent.VK_Z, InputEvent.SHIFT_DOWN_MASK | PlatformManager.getPlatform().getMenuShortcutKeyMaskEx()), redoAction);
             }
             undoRedo = true;
         }
@@ -113,6 +116,8 @@ public class TextContextualPopupMenu extends JPopupMenu {
                         KeyStroke.getKeyStroke(KeyEvent.VK_Z, PlatformManager.getPlatform().getMenuShortcutKeyMaskEx()));
                 component.getInputMap().remove(
                         KeyStroke.getKeyStroke(KeyEvent.VK_Y, PlatformManager.getPlatform().getMenuShortcutKeyMaskEx()));
+                component.getInputMap().remove(
+                        KeyStroke.getKeyStroke(KeyEvent.VK_Z, InputEvent.SHIFT_DOWN_MASK | PlatformManager.getPlatform().getMenuShortcutKeyMaskEx()));
             }
             component.getDocument().removeUndoableEditListener(undoEditListener);
             undoRedo = false;
-- 
2.40.1

