Subject: Re: bug#14574: prog-prettify-symbols breaks font-locking

From: Eli Zaretskii <[email-masked]>
Date: Mon, 17 Jun 2013 05:45:20 +0300

> From: Stefan Monnier <[email-masked]>
> Date: Sun, 16 Jun 2013 19:14:45 -0400
> 
> The simpler solution is to make prog-prettify-install add `composition'
> to the extra-managed properties.

Won't that remove _all_ composition properties, not just those added
by prog-prettify-symbols?