From 7edf9e2765d2795ca85dd2c239af20a7493e2085 Mon Sep 17 00:00:00 2001 From: Thomas Jost Date: Wed, 21 Dec 2011 14:44:19 +0100 Subject: [PATCH 1/1] emacs: Change the default thousands separator to a space This had been discussed and decided on IRC. Rationale: Therefore the space is recommended in the SI/ISO 31-0 standard, and the International Bureau of Weights and Measures states that "for numbers with many digits the digits may be divided into groups of three by a thin space, in order to facilitate reading. Neither dots nor commas are inserted in the spaces between groups of three". (http://en.wikipedia.org/wiki/Decimal_separator#Digit_grouping) --- emacs/notmuch-hello.el | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/emacs/notmuch-hello.el b/emacs/notmuch-hello.el index e6f87f8a..2f7e17dc 100644 --- a/emacs/notmuch-hello.el +++ b/emacs/notmuch-hello.el @@ -132,10 +132,12 @@ So: (integer :tag "Number of characters") (float :tag "Fraction of window"))) -(defcustom notmuch-hello-thousands-separator "," +(defcustom notmuch-hello-thousands-separator " " "The string used as a thousands separator. -Typically \",\" in the US and UK and \".\" in Europe." +Typically \",\" in the US and UK and \".\" or \" \" in Europe. +The latter is recommended in the SI/ISO 31-0 standard and by the +International Bureau of Weights and Measures." :group 'notmuch :type 'string) -- 2.43.0