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

[Guenter Milde <milde@xxxxxxxxxxxxxxxxxxxxx>]

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