10 Jun
2007
10 Jun
'07
8:36 p.m.
On Sun, 10 Jun 2007 12:59:47 -0700 David Roundy <droundy@darcs.net> wrote:
This colors the focussed tab a bit brighter than the others. Makes the tabbed layout far more useful.
David
Sun Jun 10 12:57:43 PDT 2007 David Roundy <droundy@darcs.net> * color focussed tab differently.
Applied, thanks.