[Top][All Lists]

[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:38:45 +0100
User-agent: Gnus/5.13 (Gnus v5.13)

Eli Zaretskii <eliz@gnu.org> writes:

> It's a trade-off: you assume that users don't want to see the
> fontifications change in near real-time when editing long lines, but
> that is just an assumption, not necessarily true.

Yes, it really depends on the use case.

My cases so far were all of the category: "expensive" fontification
still happens nearly instantly, hardly noticeable for the human eye, but
slow enough to make scrolling feeling a bit sluggish.


reply via email to

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