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

[frank <y199mp1505@xxxxxxxxx>]

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

Thus jed can bind a function to Ctrl-Home with its default and it will 
not work (or it will work as a binding to Home). It will work, as 
distinct from Home, when jed acknowledges what Ctrl-Home produces for 
real.

Besides, we are talking about terminals that mimic xterm. The 
keystrings assigned by xterm to the gray combos are detailed in its 
input.c. What about using those keystrings as jed defaults?

Just hoping it is not an issue of petty jealousy between ncurses and 
slang.

Regards


frank


_______________________________________________
Jed-users-l mailing list
Jed-users-l@xxxxxxxx
http://mailman.jtan.com/mailman/listinfo/jed-users-l