[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: What're the proper names for the backspace and delete keys in files.
From: |
Alan Mackenzie |
Subject: |
Re: What're the proper names for the backspace and delete keys in files.texi? |
Date: |
Mon, 16 Jan 2006 12:39:44 +0000 (GMT) |
Hi, Richard, Hi, Emacs!
On Tue, 20 Dec 2005, Richard M. Stallman wrote:
> In the Emacs manual, the <backspace> key (the one that deletes backwards)
> seems sometimes to be called @key{BS}, and at other times @key{BACKSPACE}
> or @key{DEL}.
>Those are not synonymous. The chapter on Killing explains the difference.
For the third time of asking, would somebody (Richard?) please state
definitively what the canonical names, to be used in files.texi, are for
the "backspace" key (typically the large rectangular key above CR that
deletes a single character backwards) and the "delete" key (typically the
bottom leftmost key of a block of 6 keys directly to the right of CR,
that deletes a single character forwards).
I think the canonical names for these keys are, respectively, @key{DEL}
and @key{DELETE} (with exactly that capitalization), but I'm not sure.
I want to amend the CC Mode manual to use the standard names for these
two keys.
>We worked for a long time to get this consistent and (more or less)
>clear. Now I want to leave it alone.
--
Alan Mackenzie (Munich, Germany)
- Re: What're the proper names for the backspace and delete keys in files.texi?, (continued)
- Re: What're the proper names for the backspace and delete keys in files.texi?, Eli Zaretskii, 2006/01/12
- Re: What're the proper names for the backspace and delete keys in files.texi?, Alan Mackenzie, 2006/01/12
- Re: What're the proper names for the backspace and delete keys in files.texi?, Eli Zaretskii, 2006/01/13
- Re: What're the proper names for the backspace and delete keys in files.texi?, Neil Jerram, 2006/01/13
- Re: What're the proper names for the backspace and delete keys in files.texi?, Lennart Borgman, 2006/01/13
- Re: What're the proper names for the backspace and delete keys in files.texi?, Neil Jerram, 2006/01/13
- Re: What're the proper names for the backspace and delete keys in files.texi?, Aidan Kehoe, 2006/01/13
- Re: What're the proper names for the backspace and delete keys in files.texi?, Eli Zaretskii, 2006/01/13
- RE: What're the proper names for the backspace and delete keys in files.texi?, Drew Adams, 2006/01/13
Re: What're the proper names for the backspace and delete keys in files.texi?, Richard M. Stallman, 2006/01/19
Re: What're the proper names for the backspace and delete keys in files.texi?,
Alan Mackenzie <=