On Wed, Jun 27, 2012 at 6:43 PM, Magnus Hagander <[email protected]> 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)? -- Dave Page Blog: http://pgsnake.blogspot.com Twitter: @pgsnake EnterpriseDB UK: http://www.enterprisedb.com The Enterprise PostgreSQL Company -- Sent via pgadmin-hackers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-hackers
