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

From: Eli Zaretskii <[email-masked]>
Date: Mon, 28 Apr 2014 19:15:46 +0300

> Date: Mon, 28 Apr 2014 08:39:06 -0700 (PDT)
> From: Drew Adams <[email-masked]>
> Cc: [email-masked], [email-masked]
> 
> > 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.
> 
> A difference in syntax for keyboard keys vs key sequences should not be
> subject to judgment calls.  There are presumably clear-cut rules defining
> the two different syntaxes.

The rules might be clear to humans, but not to a global
search-and-replace.  By "judgment call" I meant that a human should
decide which case is which, and act accordingly.