Header Bar doesn't adjust to font size

In Preferences, I set the Header Bar font to Comic Sans MS 18:

But the Header Bar doesn’t expand to fit:

Screen Shot 2015-09-30 at 6.52.22 PM.png

Hi,

This is intentional behaviour. The header bar is of a fixed size, so you need to choose a font that fits. It would look very odd if the header bear expanded, as it would no longer align with other UI elements.

All the best,
Keith

The size shouldn’t be adjustable in Preferences, then!

It should, because fonts all have different heights and baselines, so 12-point Helvetica is taller than 12-point Arial Narrow, for instance. So the size choice is there so that you can adjust the font of your choice to best fit the header area.