jed-users mailing list

[2011 Date Index] [2011 Thread Index] [Other years]
[Thread Prev] [Thread Next] [Date Prev] [Date Next]

Re: [Jed-users-l] Map Ctrl-Home to top of page

Subject: Re: [Jed-users-l] Map Ctrl-Home to top of page
From: frank <y199mp1505@xxxxxxxxx>
Date: Tue, 23 Aug 2011 23:51:39 +0200

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

Follow-Ups:
- Re: [Jed-users-l] Map Ctrl-Home to top of page
  - From: Doug Kramer

References:
- [Jed-users-l] Map Ctrl-Home to top of page
  - From: Doug Kramer
- Re: [Jed-users-l] Map Ctrl-Home to top of page
  - From: Guenter Milde
- Re: [Jed-users-l] Map Ctrl-Home to top of page
  - From: Doug Kramer

[2011 date index] [2011 thread index]
[Thread Prev] [Thread Next] [Date Prev] [Date Next]