On Fri, Dec 01, 2006 at 10:17:02AM +0100, Sander van Dijk wrote: > On 12/1/06, Sander van Dijk <[EMAIL PROTECTED]> wrote: > >That probably looks even better yes. > > The line thickness should probably be proportional to the fontsize > (like the dotsize is) to make it scale well though...
Here we go what hg tip contains: http://www.suckless.org/shots/proposal_hgtip.png I think 1px border is fully sufficient, look at the shot, this is hg tip now. -- Anselm R. Garbe >< http://suckless.org/~arg/ >< GPG key: 0D73F361
