bug#17362: 24.4.50; inconsistent key notation: `ESC' vs `<ESC>'

[Eli Zaretskii]

> Date: Mon, 28 Apr 2014 16:49:38 +0200
> From: Dani Moncayo <dmoncayo@gmail.com>
> Cc: 17362@debbugs.gnu.org
> 
> > Emacs manual: contrast node `Menu Bar' with node `Quitting'.  The former
> > writes `ESC ESC ESC'; the latter writes `<ESC> <ESC> <ESC>'.
> >
> > IMO, the former is preferable.  (Note that (kbd "ESC") and (kbd "<ESC>")
> > both act the same, however.)
> 
> I'd also prefer "ESC" over "<ESC>" but then other strings like
> "<TAB>", "<SPC>", "<RET>" or "<DEL>" should also be changed
> accordingly.

Actually, the distinction should be between "ESC" (or "TAB" or "SPC")
the key vs "ESC ESC ESC" the key sequence typed from the keyboard.  So
not every <FOO> should suddenly become "FOO", it's a judgment call.