diff options
author | Thomas Jost <schnouki@schnouki.net> | 2011-12-21 14:44:19 +0100 |
---|---|---|
committer | David Bremner <bremner@debian.org> | 2011-12-22 06:56:41 -0400 |
commit | 7edf9e2765d2795ca85dd2c239af20a7493e2085 (patch) | |
tree | b50ee08a5c6d8dd4e5f5e0b1f9f7e1db20a959e7 /emacs/notmuch-hello.el | |
parent | 6dd482a16dd16252f9c5783ee65ce8bcd3d87eca (diff) |
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)
Diffstat (limited to 'emacs/notmuch-hello.el')
-rw-r--r-- | emacs/notmuch-hello.el | 6 |
1 files 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) |