- Subject: Re: [Jed-users-l] Map Ctrl-Home to top of page
- From: Doug Kramer <doog@xxxxxxxxxx>
- Date: Tue, 23 Aug 2011 15:07:47 -0700
Thanks. I forgot to mention that I had also tried that and it didn't work.
I believe I am running the default gnome-terminal (default compatibility for
Del and Backspace keys, anyway)
-Doug
On Tue, Aug 23, 2011 at 2:51 PM, frank <y199mp1505@xxxxxxxxx> wrote:
> >>> I cannot seem to distinguish between Home and Ctrl-Home.
>
> If your gnome-terminal is running with its defaults, just try
> setkey("bob", "^[[1;5H");
>
> This was suggested to you a dozen posts upstream.
>
>
> _______________________________________________
> Jed-users-l mailing list
> Jed-users-l@xxxxxxxx
> http://mailman.jtan.com/mailman/listinfo/jed-users-l
>
_______________________________________________
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]