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
_______________________________________________
Gimp-developer mailing list
[EMAIL PROTECTED]
http://lists.xcf.berkeley.edu/mailman/listinfo/gimp-developer

Reply via email to