glue.utils.qt.
fix_tab_widget_fontsize
Because of a bug in Qt, tab titles on MacOS X don’t have the right font size