diff options
| author |   Jason A. Donenfeld <Jason@zx2c4.com> | 2012-12-08 02:05:27 +0100 |
|---|---|---|
| committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2012-12-08 02:05:27 +0100 |
| commit | b11a54fc9022af2e7e835bfe873a998c299f859a (patch) | |
| tree | 9e7b90beeedb39832c23d4c84698721392bafee5 /gmail-notmuch.py | |
| parent | We don't want two timers. (diff) | |
| download | gmail-notmuch-b11a54fc9022af2e7e835bfe873a998c299f859a.tar.xz gmail-notmuch-b11a54fc9022af2e7e835bfe873a998c299f859a.zip | |
Remove \Muted label.
Diffstat (limited to 'gmail-notmuch.py')
| -rwxr-xr-x | gmail-notmuch.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gmail-notmuch.py b/gmail-notmuch.py index 45f6eb1..d664742 100755 --- a/gmail-notmuch.py +++ b/gmail-notmuch.py @@ -171,6 +171,7 @@ def filter_labels(labels): "\\Deleted": "deleted", "\\Seen": "!read!", "\\Important": None, # I realize this is controversial, but I hate the priority inbox. + "\\Muted": None, # I also don't intend to use the muted idea going forward. "Junk": "spam", "NonJunk": None } ret = set() |