To: Jameson Graef Rollins <jrollins@finestructure.net>,
 notmuch@notmuchmail.org
Subject: Re: [RFC][PATCH] emacs: Use text properties rather than overlays in
	various places.
In-Reply-To: <877h143gzs.fsf@servo.finestructure.net>
References: <1325082691-21136-1-git-send-email-dme@dme.org>
	<877h143gzs.fsf@servo.finestructure.net>
User-Agent: Notmuch/0.10.2+151~gbf1dc2b (http://notmuchmail.org)
	Emacs/24.0.92.1 (x86_64-pc-linux-gnu)
From: David Edmondson <dme@dme.org>
Date: Fri, 06 Jan 2012 17:13:33 +0000
Message-ID: <cun7h143gaq.fsf@hotblack-desiato.hh.sledj.net>
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="=-=-=";
	micalg=pgp-sha1; protocol="application/pgp-signature"
Precedence: list

--=-=-=
Content-Type: text/plain
Content-Transfer-Encoding: quoted-printable

On Fri, 06 Jan 2012 08:58:31 -0800, Jameson Graef Rollins <jrollins@finestr=
ucture.net> wrote:
> On Wed, 28 Dec 2011 14:31:31 +0000, David Edmondson <dme@dme.org> wrote:
> > Probably just for aficionados at the moment...
>=20
> Actually, I think that all the rest of these comments should be included
> in the log.  There's useful discussion here.

Okay.

The work-in-progress `notmuch-mode' patches that Austin posted to lazily
construct the invisible overlays suggests a way that could be integrated
with these changes to further improve performance, but I haven't had
time to look at it yet.

> > 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.
>=20
> I actually currently have colored tags in the headerline.  Did they go
> somewhere at some point?

I haven't looked properly, but I think that emacs 24 stole them. They
certainly were not updating correctly during the addition/removal of
tags.

--=-=-=
Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iEYEARECAAYFAk8HK74ACgkQaezQq/BJZRawCQCfTI+x0L0lb7hwOFux7qM4OhHE
i+oAnir/Sux4cuEZ1WJxhHLhMN4CieB/
=Y7Ty
-----END PGP SIGNATURE-----
--=-=-=--