On Sat, Jul 31, 2010 at 7:58 PM, Bengt Thuree <bengt at thuree.com> wrote: > Don't you think there will be a lot of complaints that we do not follow > the locale's setting further down the track? I guess so. It’s better to use the global setting than having a non-standard and an extra option in the preferences.