ref: 7e19d6f4b10b9c3849bb46d974264289ccf946f8
parent: 5157a18550706de319ddb4d723490f5055531368
author: Ben Harris <bjh21@bjh21.me.uk>
date: Wed Nov 16 04:27:40 EST 2022
Document new new undo/redo keys
--- a/puzzles.but
+++ b/puzzles.but
@@ -130,12 +130,12 @@
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.