Skip site navigation (1) Skip section navigation (2)

Re: Query tool column headers

From: Magnus Hagander <magnus(at)hagander(dot)net>
To: Dave Page <dpage(at)pgadmin(dot)org>
Cc: pgadmin-hackers <pgadmin-hackers(at)postgresql(dot)org>
Subject: Re: Query tool column headers
Date: 2012-06-27 16:18:32
Message-ID: CABUevEx16JT3cwMaQpeV+Aas134XPV6QdJXoQtzcMNQ06djh1A@mail.gmail.com (view raw or flat)
Thread:
Lists: pgadmin-hackers
On Wed, Jun 27, 2012 at 5:56 PM, Dave Page <dpage(at)pgadmin(dot)org> wrote:
> 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.
>>
>> Objections?
>
> Not sure I like it - it's better with ( ) instead of < >, but even so
> it looks ugly with array types and size bounded types.

Hmm. I didn't try with arrays...


> Personally I don't think the ugliness is worth it, especially given
> that (as you note) the type is on a separate line anyway.

Got any ideas for another way to differentiate the datatype more from
the column name, that might work? (or correct my analysis and tell me
that it *is* possible to make it italic or something like that)

-- 
 Magnus Hagander
 Me: http://www.hagander.net/
 Work: http://www.redpill-linpro.com/

In response to

Responses

pgadmin-hackers by date

Next:From: Dave PageDate: 2012-06-27 16:24:28
Subject: Re: Query tool column headers
Previous:From: Dave PageDate: 2012-06-27 15:56:16
Subject: Re: Query tool column headers

Privacy Policy | About PostgreSQL
Copyright © 1996-2014 The PostgreSQL Global Development Group