[Top][All Lists]

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

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

From: Drew Adams
Subject: RE: [External] : Partly deferred font-locking?
Date: Wed, 11 Jan 2023 18:38:16 +0000

> > 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?

Yes.  I was trying to say that what we offer could
be improved. ;-)  And that even what we do offer
(the "levels") doesn't seem to be used (supported
by modes, so usable by users).

reply via email to

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