Re: feature request: fetch missing keys in the background

Subject: Re: feature request: fetch missing keys in the background

Date: Mon, 03 Sep 2018 15:49:09 -0400

To: David Edmondson, notmuch@notmuchmail.org

Cc:

From: Antoine Beaupré

That's great! It's basically what I was looking for, but unfortunately
it does not work here. I am not sure why, but it never actually updates
the widget, even if I do not move the point.

A.
-- 
Sous le projecteur, on ne voit pas les autres.
                        - Félix Leclerc
_______________________________________________
notmuch mailing list
notmuch@notmuchmail.org
https://notmuchmail.org/mailman/listinfo/notmuch

Thread: