next up previous contents index
Next: '*' keys Up: How keys are Previous: System keys

User keys

User keys are truncated to the number of significant characters; abbreviations are not allowed. Before comparison with the list of defined keys, a potential key is converted to uppercase. If it is recognized, it is printed on the lis- ting in upper case.

Note: Although you can define a key to be the same as a system key, this key will not be recognized, as the list of system keys is checked first.


Janne Saarela
Tue May 16 09:50:47 METDST 1995