Jon TURNEY 2012-07-23 12:55:25 UTC
(In reply to comment #12)
> Sorry, you are right. Anyone would have any objections?

I also have a german end-user requesting that tilde not be a dead key in the german keyboard layout, (see [1] and following, and excuse my xkeyboard-config ignorance), so changing the default so tilde is not a deadkey, or adding an option for that, seems like a good idea.