[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [External] : Partly deferred font-locking?

From: Michael Heerdegen
Subject: Re: [External] : Partly deferred font-locking?
Date: Wed, 11 Jan 2023 19:33:30 +0100
User-agent: Gnus/5.13 (Gnus v5.13)

Drew Adams <drew.adams@oracle.com> writes:

> Beyond levels, we could imagine being able to
> specify a list of particular kinds of fontifying
> per mode.  That's not possible with this option
> today.  No doubt there's room for improvement.

But those levels only let the user turn off some parts of font-locking,
but not to defer those parts, right?


reply via email to

[Prev in Thread] Current Thread [Next in Thread]