12 Jun
2007
12 Jun
'07
8:30 a.m.
C-H works in my terminal. although i like F1 better because it is easiert to hit one key instead of two, especially if you are in the middle of typing a command. but i can't figure out how to catch that one (apart from hardcoding a particular sequence)
greetings, martin.