chiark / gitweb /
~ian / sgt-puzzles.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f3a2773) | patch
After much thought, I've decided that `Restart' on r is not a
authorSimon Tatham <anakin@pobox.com>
Tue, 17 May 2005 17:20:08 +0000 (17:20 +0000)
committerSimon Tatham <anakin@pobox.com>
Tue, 17 May 2005 17:20:08 +0000 (17:20 +0000)
commit0e197efe44db0371dcba395be41fe772dac02b01
tree48e02cfeded93043d0d64f959ba1b8fe4a548c5ctree | snapshot
parentf3a27738025ce7d2bce24548f13133ff499ff5f6commit | diff
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.

[originally from svn r5796]
gtk.c diff | blob | history
midend.c diff | blob | history
osx.m diff | blob | history
windows.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.