How to change the font size of tabhost in android

Question

How can the font size of the tabs be changed? I extend TabActivity for the tabs.

Answer 1

Slightly generalized:

final TabWidget tw = (TabWidget)mTabHost.findViewById(android.R.id.tabs);
    for (int i = 0; i < tw.getChildCount(); ++i)
    {
        final View tabView = tw.getChildTabViewAt(i);
        final TextView tv = (TextView)tabView.findViewById(android.R.id.title);
        tv.setTextSize(20);
    }