mailing-list for TeXmacs Users

[Henri Lesourd <address@hidden>]

> No, no, "home" and "end" should go to the beginning and the end of the
> _document_.
I strongly disagree, here : "home" and "end" should go to the beginning and
the end of the _line_, and "ctrl-home" and "ctrl-end" should go to the 
beg/end
of the _document_. This is the usual standard for editors.

Anyway, the key mapping should be consistent : "left", "right", "up" and 
"down"
move the cursor --locally--, it is not good if non-shifted keys 
belonging to the
numeric keypad (like "home" and "end") work otherwise.

> (And because there is such disagreement, I suggest:
>
> 5. An easier way to customise keybindings
I strongly agree :), here.