Re: [Glob2-ideas] better end-of-game graphs

[dusted]

Kieran P wrote:
> Thanks for the ideas. I wouldn't go with 5px, maybe 1.5px, and also 
> this mailing list is not as popular as the development one. Maybe post 
> these ideas there (you'll get more of a response there,
I think 2-3 px would be nice :)