ref: 0e197efe44db0371dcba395be41fe772dac02b01
parent: f3a27738025ce7d2bce24548f13133ff499ff5f6
author: Simon Tatham <anakin@pobox.com>
date: Tue May 17 13:20:08 EDT 2005
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]