mailing-list for TeXmacs Users

[Nicolas Ratier <address@hidden>]

Hi, Hola, Bonjour, 

The regular keys on a PC keybords are in the following order:
Ctrl | Window | Alt || SPACE || Alt Gr | Window | Menu | Ctrl

My question is how to configure the keyboard so as to let "Menu" play the role
of the hyper key ? (F5 works well, but Menu is more intuitive for Hyper key)

May be it is more an "X Window" question than a "TeXmacs" question.The "Menu" 
key is not used by many applications, so it generally does not do any harm to 
reconfigure it.

Nicolas