diff options
Diffstat (limited to 'PuzzleApplet.java')
| -rw-r--r-- | PuzzleApplet.java | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/PuzzleApplet.java b/PuzzleApplet.java index 8f8bec1..8455734 100644 --- 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() { |