Steve Haslam wrote: > > On Thu, Jul 01, 1999 at 01:13:59PM +0200, Boris Erdmann wrote: > > > I will now delete all gnome from my machine and re-install. > > May take a while... > > Erk, I'd be surprised if that improved things- if it does, let me know, but > I'd be rather lost as to what to look for... > Well it did not change a thing. Which is at least good for reproducing things for certein configurations :-) Boris