Re: Partly deferred font-locking?

[Michael Heerdegen]

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.

Michael.