11 Jun
2007
11 Jun
'07
3:59 a.m.
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.