emacs: rename notmuch-decimal-separator to notmuch-hello-thousands-separator

In 123,456.78, "." is the decimal separator, but "," is the thousands separator.

diff --git a/emacs/notmuch-hello.el b/emacs/notmuch-hello.el
index 698f3cb7fd2bd09d6500b6cd8063565074091691..e6f87f8ae3d81a7af18969a9cd0abc52f2578a61 100644 (file)
--- a/emacs/notmuch-hello.el
+++ b/emacs/notmuch-hello.el
@@ -132,8 +132,8 @@ So:
          (integer :tag "Number of characters")
          (float :tag "Fraction of window")))
 
-(defcustom notmuch-decimal-separator ","
-  "The string used as a decimal separator.
+(defcustom notmuch-hello-thousands-separator ","
+  "The string used as a thousands separator.
 
 Typically \",\" in the US and UK and \".\" in Europe."
   :group 'notmuch
@@ -170,7 +170,7 @@ Typically \",\" in the US and UK and \".\" in Europe."
     (apply #'concat
      (number-to-string (car result))
      (mapcar (lambda (elem)
-             (format "%s%03d" notmuch-decimal-separator elem))
+             (format "%s%03d" notmuch-hello-thousands-separator elem))
             (cdr result)))))
 
 (defun notmuch-hello-trim (search)