- 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]