On Wed, 2012-06-27 at 17:24 +0100, Dave Page wrote: > On Wed, Jun 27, 2012 at 5:18 PM, Magnus Hagander <[email protected]> wrote: > > On Wed, Jun 27, 2012 at 5:56 PM, Dave Page <[email protected]> wrote: > >> On Wed, Jun 27, 2012 at 3:53 PM, Magnus Hagander <[email protected]> > >> 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 -- Sent via pgadmin-hackers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-hackers
