From 7e19d6f4b10b9c3849bb46d974264289ccf946f8 Mon Sep 17 00:00:00 2001 From: Ben Harris Date: Wed, 16 Nov 2022 09:27:40 +0000 Subject: [PATCH] Document new new undo/redo keys --- puzzles.but | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/puzzles.but b/puzzles.but index ca525ac..fc0af02 100644 --- a/puzzles.but +++ b/puzzles.but @@ -130,12 +130,12 @@ current puzzle. (Only for puzzles which make sense to print, of course \dash it's hard to think of a sensible printable representation of Fifteen!) -\dt \ii\e{Undo} (\q{U}, Ctrl+\q{Z}, Ctrl+\q{_}) +\dt \ii\e{Undo} (\q{U}, Ctrl+\q{Z}, Ctrl+\q{_}, \q{*}) \dd Undoes a single move. (You can undo moves back to the start of the session.) -\dt \ii\e{Redo} (\q{R}, Ctrl+\q{R}) +\dt \ii\e{Redo} (\q{R}, Ctrl+\q{R}, \q{#}) \dd Redoes a previously undone move.