In the last build (9712) the font of the selected Tab became
antialiased. Looks terrible. I wonder if somebody finds it great. Is
there any possibility to make the font of the current tab the same as
the other tabs, or just cancel this "feature" at all, if nobody minds?