[Pan-users] Header-pane row height

[J. Gardner Biggs]

I am no expert on how fonts are rendered, but after upgrading to
0.14.0.93, it seems that when the font is changed the corresponding row
height is not.

I generally change the font in the header-pane to a smaller one to be
able to see more headers, and with this version the fonts change but the
number of rows displayed seems to remain the same.

Is anyone else seeing this behavior?