>>>>> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:

Lars> Ok. Note that this is how unicode recommends that you should be
Lars> aple to enter combining chars as well. But that is a frontend
Lars> issue, input methods.

Yes, this is what I proposed earlier. I think we should have a look at
what frontends can do before nuking keymaps (and yes I agree that this
code is ugly).

Lars> (You don't enter the '+' explicitly do you?)

No.

JMarc

Reply via email to