Font size control in edit data window

pgadmin latest dev from git, using wxw 2.9.4:

I'm having an issue with font and font size in the edit data window.
Fonts and sizes, plus Ctrl+mouse wheel operations work fine, but
attempting to autoadjust a line height leads to problems.

In File - Options - Query Tool - Query Editor
I have set the font to monospace 10. Good, the data opens with the right
font and size. OK so far.

The line number in the grid (left margin) appears to be the right (UI
miscellaneous?) family and size but it is in bold. OK. So now you hover
the mouse over the bottom of the row and double click to get an
automatic adjustment of the height of the row. This works for the line
number which is properly displayed, but the row of data is clipped at
the bottom. This means you have to readjust the line height larger
again, which is ok on a line by line basis.

As you dynamically mouse wheel the font larger clipping gets worse for
all rows but particularly those which have been autoadjusted smaller.
Mouse wheel font size adjustment is fine provided you have not tried to
adjust a line height.

Normal behaviour in spreadsheets is that when a range of rows is
selected, the row height operates on all rows selected. In the data view
when a range is selected, only the bottom row gets adjusted.

So in summary, a couple of thoughts:
1. Is there any benefit to be gained from having two places to change
the fonts used on a page? In this case it seems to lead to problems. I
guess an alternative might be to autoadjust height based on data and not
line number.

2. Row height change for the entire range?

3. Option to reset line heights to default over a range?

Thanks.
--
---
Colin Beckingham
613-454-5369
http://www.it4gh.com