<div class="gmail_quote">On Mon, Nov 19, 2012 at 11:23 PM, Austin Clements <span dir="ltr"><<a href="mailto:amdragon@mit.edu" target="_blank">amdragon@mit.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

This seems like overkill given that all of the common code in<br>
notmuch-tagger-{body,header}-button-action is already abstracted into<br>
a common function.  Were there other places where code was duplicated<br>
because of the difference between regular buttons and header buttons?<br></blockquote><div><br>I guess you're right, that's the only place and it isn't worth worrying about.<br><br>Ethan<br> <br></div></div>