On Fri, Dec 01, 2006 at 10:24:02AM +0100, Anselm R. Garbe wrote: > 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.
I like the new semantic, the dot can be seen as a miniature of the active window and the 3d border as the tag being non-empty. I'm not sure about the position of the dot. Top right looks better, but bottom left is less obtrusive. Regards, -- Jeroen Schot
