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

[Doug Kramer <doog@xxxxxxxxxx>]

Thanks anyway.

I cannot seem to distinguish between Home and Ctrl-Home.

At my terminal, ^V Home and ^V Ctrl-Home both produce ^[OH
In jed -l keycode -f keycode, Home and Ctrl-Home both produce \eOH

Ubuntu, gnome-terminal running bash.

-Doug


On Thu, Aug 18, 2011 at 4:10 PM, Guenter Milde
<milde@xxxxxxxxxxxxxxxxxxxxx>wrote:

> On 12.08.11, Doug Kramer wrote:
> > On Linux, how can I map Ctrl-Home to top of page, please?
> > (And Ctrl-End to bottom of page)
>
> require("keydefs");            % symbolic keynames
> setkey("goto_top_of_page", Key_Ctrl_Home);
>
>
> Works with xjed (and maybe some terminal emulations or the console) and a
> correctly defined goto_top_of_page() function...
>
> If it does not for your terminal emulator but you know the correct
> key-combo, you can also re-define the variable:
>
> require("keydefs");            % symbolic keynames
> #ifndef XWINDOWS
> Key_Ctrl_Home = "the key string";
> #endif
> setkey("goto_top_of_page", Key_Ctrl_Home);
>
> Günter
> _______________________________________________
> 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