On Fri Jan 6, 2023 at 12:36 PM CET, David Bremner wrote: > Although this patch won't apply anymore, thanks for inspiring the work that > lead to supporting undo. Unfortunately I stole the name > "notmuch-tag-history" for a buffer local variable, so I guess someone > interested in a global history would need to choose a different variable > name. Thanks to you, David! Undo is great. I'd like to make another attempt at global tag history and repeating last tagging operation. I hope to find the time soon! _______________________________________________ notmuch mailing list -- notmuch@notmuchmail.org To unsubscribe send an email to notmuch-leave@notmuchmail.org