Re: Thousands separator
От | Magnus Hagander |
---|---|
Тема | Re: Thousands separator |
Дата | |
Msg-id | CABUevEwSTbNU_GrYMxFuBn8gZYJ5XxvQbAR8rJPsYc+=R38X4g@mail.gmail.com обсуждение исходный текст |
Ответ на | Re: Thousands separator (Magnus Hagander <magnus@hagander.net>) |
Список | pgadmin-hackers |
On Wed, Jun 27, 2012 at 10:45 PM, Magnus Hagander <magnus@hagander.net> wrote: > On Wed, Jun 27, 2012 at 8:08 PM, Dave Page <dpage@pgadmin.org> wrote: >> On Wed, Jun 27, 2012 at 6:43 PM, Magnus Hagander <magnus@hagander.net> wrote: >>> Attached patch implements a setting for thousands separator in the >>> query result grid (typically you'd use space or comma, but it supports >>> whatever you can think of. Think of all the fun you can have by making >>> it 0 or 3). >>> >>> It only does the query result window and not the edit grid, because >>> this way we only have to insert it, and not try to parse it back >>> (think about how much *less* fun it would be to parse that back if it >>> was 0 or 3). I think that's perfectly ok - and it's still very useful >>> in the query result. >>> >>> Comments? >> >> Can't we get the separator rules from the locale (and for that matter, >> the date format)? > > We could, but you'd still want a setting to turn it on or off. And > there's always going to be people who don't agree with their locale > always (I know I'm one of them in many cases, though not specifically > this one). Thus having it configurable is better, I think. > > We could make it default to whatever is in the locale if we want - but > I think defaulting to none at all is actually a better choice, and it > keeps it to "default is what we had before"... I've now applied this to the newly stamped 1.17-master. -- Magnus Hagander Me: http://www.hagander.net/ Work: http://www.redpill-linpro.com/
В списке pgadmin-hackers по дате отправления: