[PATCH][PUSHED] Don't make tab headers bold by default

[Norbert Thiebaud]

On Sat, May 26, 2012 at 4:08 PM, Stefan Knorr (Astron)
<heinzlesspam at googlemail.com> wrote:
> Hi Norbert,
>
> thanks... here's an updated version.

Thanks...
Pushed, and pushed a follow-up WaE fix (unused argument bIsCurrentItem)

Norbert