11 Jun
2007
11 Jun
'07
11:54 a.m.
oh, sorry, i never use ^D for editing. but i just see now that backspace is mapped to ^D too. ooops. can you suggest a better key?
ctrl-? maybe?
greetings, martin.