[Patchew-devel] [PATCH] add rfc822msgid: as a synonym of id:

[Paolo Bonzini]

There is a Chrome extension here

https://chrome.google.com/webstore/detail/gmail-message-id-finder/comcoiiifldaaejpbgbincdkoohihbae

that copies the message-id to the clipboard.  It uses a "rfc822msgid:"
prefix instead of Patchew's "id:", so accept that as well.

Signed-off-by: Paolo Bonzini <pbonzini at redhat.com>
---
 api/search.py | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/api/search.py b/api/search.py
index d4213e5..4f6650c 100644
--- a/api/search.py
+++ b/api/search.py
@@ -183,6 +183,7 @@ Negative of an expression. Example:
 ### Search by message id
 
  - Syntax: id:MESSAGE-ID
+ - Syntax: rfc822msgid:MESSAGE-ID
 
 Exact match of message-id. Example:
 
@@ -192,6 +193,8 @@ or
 
     id:1416902879-17422-1-git-send-email-user at domain.com
 
+The two prefixes are equivalent.
+
 ---
 
 ### Search by text
@@ -294,7 +297,7 @@ Search text keyword in the email message. Example:
         elif term.startswith("subject:"):
             cond = term[term.find(":") + 1 :]
             return self._add_to_keywords(cond)
-        elif term.startswith("id:"):
+        elif term.startswith("id:") or term.startswith("rfc822msgid:"):
             cond = term[term.find(":") + 1 :]
             if cond[0] == "<" and cond[-1] == ">":
                 cond = cond[1:-1]
-- 
2.24.1