mirror of https://github.com/djcb/mu.git
67261b614d
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). |
||
---|---|---|
.. | ||
Makefile.am | ||
mu-add.1 | ||
mu-bookmarks.5 | ||
mu-cfind.1 | ||
mu-easy.1 | ||
mu-extract.1 | ||
mu-find.1 | ||
mu-index.1 | ||
mu-mkdir.1 | ||
mu-remove.1 | ||
mu-server.1 | ||
mu-view.1 | ||
mu.1 | ||
mug.1 |