[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Partly deferred font-locking?
From: |
Michael Heerdegen |
Subject: |
Re: Partly deferred font-locking? |
Date: |
Thu, 12 Jan 2023 15:00:43 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Eli Zaretskii <eliz@gnu.org> writes:
> Both jit-lock-defer-time and jit-lock-stealth-time defer highlighting
> to when enough idle time has passed since last command. Is that what
> you want -- to be able to complement the highlighting by more
> highlighting?
Exactly that.
> If so, you'd need to change the 'fontified' property to
> have more than just a boolean value, and you'd need a special timer
> which examined the 'fontified' property and applied more highlighting
> if the value says it wasn't applied yet.
That would have to be done in Emacs, not in my code, right?
> Please note that expensive highlighting might make Emacs less
> responsive.
So far I'm always using `while-no-input' and code that doesn't cause
trouble when it gets interrupted. With that approach I had been able to
avoid this issue nearly completely.
Michael.
- RE: [External] : Partly deferred font-locking?, (continued)
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 <=
- Re: Partly deferred font-locking?, Eli Zaretskii, 2023/01/12
- Re: Partly deferred font-locking?, Ihor Radchenko, 2023/01/12
- Re: Partly deferred font-locking?, Ihor Radchenko, 2023/01/12
- Re: Partly deferred font-locking?, Eli Zaretskii, 2023/01/12
- Re: Partly deferred font-locking?, Ihor Radchenko, 2023/01/12
- Re: Partly deferred font-locking?, Eli Zaretskii, 2023/01/12
- Re: Partly deferred font-locking?, Ihor Radchenko, 2023/01/12
Re: Partly deferred font-locking?, Eli Zaretskii, 2023/01/12
Re: Partly deferred font-locking?, Ihor Radchenko, 2023/01/12
Re: Partly deferred font-locking?, Michael Heerdegen, 2023/01/12