Thanks, Georg!(The only thing is, the svn log message --- for both r15952 and r15951 --- has two small mistakes, I don't know if it matters:
1. should be "bug 2939", not "2393". 2. the dispatch is from file src/text3.c, not src/text.c)
Georg Baum wrote:
I briefly tested myself both versions and put them in. Georg
