Re: Ervin Hegedüs > the attached patch solves the problem above. Cool! > Btw, I don't know how popular is the Grig - can we drop it or > not... It still seems to be popular, at least there was someone asking about it a few weeks ago, iirc here on this list. If we can fix it with your patch we should keep it until it becomes a real nuisance. Will check later, thanks! Christoph