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/
