> From: Reuben Perelman > > > Ge van Geldorp wrote: > > Does the patch below fix this? > > Yes it does. Ok, thanks for testing. The patch is an ugly hack and I don't want to commit it. But at least I know what's going on now and can think about a better patch. Ge van Geldorp.