Re: Query tool column headers

On Wed, 2012-06-27 at 17:24 +0100, Dave Page wrote:
> On Wed, Jun 27, 2012 at 5:18 PM, Magnus Hagander <magnus(at)hagander(dot)net> wrote:
> > 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?

Nope, sorry. The best idea would be a different style (italic or
something else), but I don't see how to do that with wxWidgets 2.8.

> (or correct my analysis and tell me
> > that it *is* possible to make it italic or something like that)
>
> Nope. There's an outside chance you may be able to use an RTF string
> there, but I seriously doubt it.
>

And so do I.

> BTW; *if* you find a way, then the same change should be made to the edit grid.
>

+1

--
Guillaume
http://blog.guillaume.lelarge.info
http://www.dalibo.com