Subject: Re: bug#6935: 24.0.50; doc for `font-lock-maximum-decoration'

From: Stefan Monnier <[email-masked]>
Date: Sat, 28 Aug 2010 16:41:18 +0200

> The doc for `font-lock-maximum-fontification' is not very
> clear/complete.
 
FWIW, I think this customization option (and the whole notion of level)
should disappear,

        Stefan