diff options
| author | Simon Tatham <anakin@pobox.com> | 2017-09-20 16:38:31 +0100 |
|---|---|---|
| committer | Simon Tatham <anakin@pobox.com> | 2017-09-20 18:03:44 +0100 |
| commit | d72db91888c1efddd56c67eee665b0a83c9329eb (patch) | |
| tree | ad55626ee7c32ec425099a6da0ef9338f400c3cd /PuzzleApplet.java | |
| parent | e4d05c36d996c3053a66ca29cfe84e9652d501e3 (diff) | |
| download | puzzles-d72db91888c1efddd56c67eee665b0a83c9329eb.zip puzzles-d72db91888c1efddd56c67eee665b0a83c9329eb.tar.gz puzzles-d72db91888c1efddd56c67eee665b0a83c9329eb.tar.bz2 puzzles-d72db91888c1efddd56c67eee665b0a83c9329eb.tar.xz | |
Map Ctrl-Shift-Z to Redo.
This is in addition to the existing keystrokes r, ^R and ^Y. I've
become used to Ctrl-Shift-Z in other GUI games, and my fingers keep
getting confused when my own puzzles don't handle it the same way.
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() { |