Map Ctrl-Shift-Z to Redo.

[sgt-puzzles.git] / PuzzleApplet.java

diff --git a/PuzzleApplet.java b/PuzzleApplet.java
index 8f8bec1c0cdd83896c26c18d45aafdf498881152..8455734dd128e734bbb4e16dd81cb6f077a8329e 100644 (file)
--- a/PuzzleApplet.java
+++ b/PuzzleApplet.java
@@ -126,7 +126,12 @@ public class PuzzleApplet extends JApplet implements Runtime.CallJavaCB {
                     }
                 }
                 public void keyTyped(KeyEvent e) {
-                    runtimeCall("jcallback_key_event", new int[] {0, 0, e.getKeyChar()});
+                    int key = e.getKeyChar();
+                    if (key == 26 && e.isShiftDown() && e.isControlDown()) {
+                        runtimeCall("jcallback_redo_event", new int[0]);
+                        return;
+                    }
+                    runtimeCall("jcallback_key_event", new int[] {0, 0, key});
                 }
             });
             pp.addMouseListener(new MouseAdapter() {