mirror of
https://github.com/djcb/mu.git
synced 2024-06-28 07:41:04 +02:00
header buffer When we're doing a search while the results of a previous search are still coming in from the backend, this way we can tell the frontend that this is the right time to clear the buffer (previously, sometimes the results would be mixed). |
||
---|---|---|
.. | ||
fdl.texi | ||
Makefile.am | ||
mu4e-hdrs.el | ||
mu4e-main.el | ||
mu4e-proc.el | ||
mu4e-send.el | ||
mu4e-speedbar.el | ||
mu4e-tech.org | ||
mu4e-view.el | ||
mu4e.el | ||
mu4e.org | ||
mu4e.texi | ||
org-mu4e.el | ||
TODO |