>> The bug is that the size of the row (height) does NOT react to the point
>> size specified in Preferences.
>
> I think what Guillaume meant is the main Font selection at the top of the
> Preferences tab which affects all the font in pgAdmin III. You changed the
> Font in the Query Tool tab.
>
> I'm on Windows 7 so it might be a bit different on Mac.
No, the bug happens in either case. Setting a large font size in pgAdmin 1.14.0 in either:
• Options > Preferences > Font
• Options > Query Tool > Font
causes the fonts to get bigger, but any table of data generated for display in the "Output Pane" of a SQL Query window fails to grow its row size vertically. So the larger font is clipped and unreadable.
Screen shot:
http://www.gridsgonewild.com/postgres/pgadmin_font_size_bug.png
--Basil Bourque