Bennett Helm wrote: > > The attached patch fixes that bug, but I'm not sure it is the right > > approach. > > Doesn't work for me; I get no change in behavior.
Are you sure? It clearly fixes the problem for me. Can you please describe what you're actually doing? Jürgen