Thanks for your report, Michael. The behavior you describe is apparently not correct. There is a subtle issue regarding dead keys, and I mark this bug as a duplicate of that other bug report. You may want to study it and try some of the workarounds mentioned.
Thanks for your report, Michael. The behavior you describe is apparently not correct. There is a subtle issue regarding dead keys, and I mark this bug as a duplicate of that other bug report. You may want to study it and try some of the workarounds mentioned.