states/hl/mail.st: Support extended mail headers.

Signed-off-by: Tim Retout <diocles@gnu.org>

diff --git a/ChangeLog b/ChangeLog
index 7793554..55ceb06 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2011-07-10  Tim Retout  <diocles@gnu.org>
 
+       * states/hl/mail.st: Support extended mail headers.
+       Savannah bug #25440.
+
        * src/main.c (usage): Clarify documentation for short forms of
        optional arguments.
 

diff --git a/states/hl/mail.st b/states/hl/mail.st
index 822539b..d9565c4 100644 (file)
--- a/states/hl/mail.st
+++ b/states/hl/mail.st
@@ -27,7 +27,7 @@ state mail_header extends Highlight
   END {
     comment_face (true);
   }
-  /:/ {
+  /[ \t:]/ {
     language_print ($0);
     return;
   }