Marko Mahnic wrote:
... Do you know of any list of more or less standard keystrings that I could use?
After looking at termtypes.master I see that every terminal uses its own set of keystrings. Marko -------------------------- To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with the word "unsubscribe" in the message body. Need help? Email <jed-users-owner@xxxxxxxxxxx>.