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

[Stefan Knorr (Astron)]

Hi there,

I've always wondered why LibreOffice (and before it Ooo) would make
the selected tab header bold, because no OS I know does that natively.
While there is an option with which backends could turn this behaviour
off, if there's no need for that we probably should remove it, I
guess.
Attached patch does that and even works. Can I push or is there
something that seems wrong?


Astron.