- Subject: Re: [Jed-users-l] Map Ctrl-Home to top of page
- From: "John E. Davis" <davis@xxxxxxxxxxxxx>
- Date: Mon, 15 Aug 2011 13:57:13 -0400
Manfred Hanke <Manfred.Hanke@xxxxxxxxxxxxxxxxxxxxxxxxxx> wrote:
> On my system, I can use
> setkey("bob", "^[[1;5H");
> where the special key mapping was found with
> Ctrl + Q, Ctrl-Home
> (Ctrl + Q for quoted_insert).
FWIW, I tend to use
jed -l keycode -f keycode
for the purpose of getting keycodes. Please note that there is simply
not enough information in the terminfo databases for key combinations
such as Ctrl-Home. As a result, when the terminal's database does not
contain information for a specific key, jed assumes a default value,
which may not actually be what the terminal produces.
Thanks,
--John
_______________________________________________
Jed-users-l mailing list
Jed-users-l@xxxxxxxx
http://mailman.jtan.com/mailman/listinfo/jed-users-l
[2011 date index]
[2011 thread index]
[Thread Prev] [Thread Next]
[Date Prev] [Date Next]