On Wed, 28 Dec 2011 14:31:31 +0000, David Edmondson <[email protected]> wrote: > Probably just for aficionados at the moment...
Actually, I think that all the rest of these comments should be included in the log. There's useful discussion here. > Given that clashes between overlays and text properties are a problem > and overlays are considered expensive, switching to text properties > makes sense. For example, the coloured tags in the headerline are back > with this patch. I actually currently have colored tags in the headerline. Did they go somewhere at some point? jamie.
pgpf6qOLH357c.pgp
Description: PGP signature
_______________________________________________ notmuch mailing list [email protected] http://notmuchmail.org/mailman/listinfo/notmuch
