Query tool column headers - Mailing list pgadmin-hackers

From Magnus Hagander
Subject Query tool column headers
Date
Msg-id CABUevEy+H8h4itdHyC6dku9Um-nGXXVXTONQAcPJNXqjS8X0gw@mail.gmail.com
Whole thread Raw
Responses Re: Query tool column headers
List pgadmin-hackers
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?

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

Attachment

pgadmin-hackers by date:

Previous
From: Magnus Hagander
Date:
Subject: Numeric alignment in query grid
Next
From: Dave Page
Date:
Subject: Re: Numeric alignment in query grid