Query tool column headers

Поиск
Список
Период
Сортировка
От Magnus Hagander
Тема Query tool column headers
Дата
Msg-id CABUevEy+H8h4itdHyC6dku9Um-nGXXVXTONQAcPJNXqjS8X0gw@mail.gmail.com
обсуждение исходный текст
Ответы Re: Query tool column headers  (Dave Page <dpage@pgadmin.org>)
Список 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/

Вложения

В списке pgadmin-hackers по дате отправления:

Предыдущее
От: Magnus Hagander
Дата:
Сообщение: Numeric alignment in query grid
Следующее
От: Dave Page
Дата:
Сообщение: Re: Numeric alignment in query grid