After much thought, I've decided that `Restart' on r is not a
authorsimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Tue, 17 May 2005 17:20:08 +0000 (17:20 +0000)
committersimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Tue, 17 May 2005 17:20:08 +0000 (17:20 +0000)
commit7f89707cfefc99bd87511cb5d1f48a217c85e8fa
tree48e02cfeded93043d0d64f959ba1b8fe4a548c5c
parent366d045b88e8769eefc2a9ce84458034c76847bc
After much thought, I've decided that `Restart' on r is not a
particularly useful keypress, particularly given how easy it is to
confuse it with `Redo'. So both r and ^R are now Redo, and Restart
is relegated to being a menu-only option.

git-svn-id: svn://svn.tartarus.org/sgt/puzzles@5796 cda61777-01e9-0310-a592-d414129be87e
gtk.c
midend.c
osx.m
windows.c