On Wed, Jun 27, 2012 at 3:53 PM, Magnus Hagander <magnus(at)hagander(dot)net> wrote:
> Attached patch changes the column headers in the query tool to put <>
> aronud the datatype. While it's already on a separate line, this makes
> it more clear which part is the datatype and which part is the name of
> the column, making parsing easier on the eye when names and datatypes
> are close to each other.
> I looked for a way to make it italic or so instead, but it appears
> wxWidgets doesn't support that - it can only set the formatting for
> the whole header, which includes both the name and the datatype.
Not sure I like it - it's better with ( ) instead of < >, but even so
it looks ugly with array types and size bounded types.
Personally I don't think the ugliness is worth it, especially given
that (as you note) the type is on a separate line anyway.
EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise PostgreSQL Company
In response to
pgadmin-hackers by date
|Next:||From: Magnus Hagander||Date: 2012-06-27 16:18:32|
|Subject: Re: Query tool column headers|
|Previous:||From: Magnus Hagander||Date: 2012-06-27 15:07:30|
|Subject: Re: Numeric alignment in query grid|