| From: | Magnus Hagander <magnus(at)hagander(dot)net> |
|---|---|
| To: | pgadmin-hackers <pgadmin-hackers(at)postgresql(dot)org> |
| Subject: | Query tool column headers |
| Date: | 2012-06-27 14:53:37 |
| Message-ID: | CABUevEy+H8h4itdHyC6dku9Um-nGXXVXTONQAcPJNXqjS8X0gw@mail.gmail.com |
| Views: | Raw Message | Whole Thread | Download mbox | Resend email |
| Thread: | |
| Lists: | 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 | Content-Type | Size |
|---|---|---|
| pgadmin_col_header.patch | application/octet-stream | 960 bytes |
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Dave Page | 2012-06-27 14:56:37 | Re: Numeric alignment in query grid |
| Previous Message | Magnus Hagander | 2012-06-27 13:37:08 | Numeric alignment in query grid |