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


--
Sent via pgadmin-support mailing list (pgadmin-support@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgadmin-support

Reply via email to