On , 22 Feb 2001, Sven Neumann wrote: > But most (all?) window managers scale them down to a tiny 16x16. Not mine: fvwm 1.24r > IMO the whole thing should go away, but if people like it, please make a > preferences option to enable it. I think it's a good idea. Austin
