[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).
Re: Partly deferred font-locking?, Eli Zaretskii, 2023/01/11
- Re: Partly deferred font-locking?, Michael Heerdegen, 2023/01/11
- Re: Partly deferred font-locking?, Eli Zaretskii, 2023/01/11
- Re: Partly deferred font-locking?, Michael Heerdegen, 2023/01/12
- Re: Partly deferred font-locking?, Eli Zaretskii, 2023/01/12
- Re: Partly deferred font-locking?, Michael Heerdegen, 2023/01/12
- Re: Partly deferred font-locking?, Eli Zaretskii, 2023/01/12
- Re: Partly deferred font-locking?, Ihor Radchenko, 2023/01/12