From 6dd482a16dd16252f9c5783ee65ce8bcd3d87eca Mon Sep 17 00:00:00 2001
From: Thomas Jost <schnouki@schnouki.net>
Date: Wed, 21 Dec 2011 14:44:18 +0100
Subject: [PATCH] emacs: rename notmuch-decimal-separator to
 notmuch-hello-thousands-separator

In 123,456.78, "." is the decimal separator, but "," is the thousands separator.
---
 emacs/notmuch-hello.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/emacs/notmuch-hello.el b/emacs/notmuch-hello.el
index 698f3cb7..e6f87f8a 100644
--- 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)
-- 
2.45.2