On Sun, 2012-08-26 at 04:17 -0400, Colin Beckingham wrote:
>
> On 08/26/2012 03:23 AM, Guillaume Lelarge wrote:
> > On Wed, 2012-08-15 at 09:55 -0400, Colin Beckingham wrote:
> >> 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
>
> ...
> >
> >> 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.
> >>
> >
> > I don't follow you here. There is only one way to change the font (in
> > the options dialog).
> >
>
> I guess my point here is that there are two different controls for
> display of fonts on a data grid.
>
> 1. from the main pgadmin window, File - Options - Browser - UI Misc.
> This controls the size of the font for the row number and column titles
> in the data grid.
>
> 2. from the main pgadmin window, File - Options - Query Tool - Query
> editor also allows you to select a font family and size which controls
> the display of data inside the data grid.
>
True.
> So when it comes to operations like row and column resizing you have a
> potential conflict. If the two fonts are set to widely different sizes
> this can lead to partly displayed information.
>
True.
> One way to ensure that you have no issues is to set both 1 and 2 to the
> same font family and size and request data be displayed in bold. Then
> resizing rows does not cover data. Alternatively if the font size for
> data is smaller than the row number font then data display is not
> covered during height operations.
>
That would be a way to fix this. Unfortunately, we want that headers are
display in another way than the grid contents.
--
Guillaume
http://blog.guillaume.lelarge.info
http://www.dalibo.com