On 3/19/2014 7:57 AM, Peter Constable wrote: > It is nonsensical to talk about erasing a _keystroke_. "undo", "revert" the effect of a keystroke. The concept is meaningful. Eric.