Re: font-lock-fontify-block

[Stefan Monnier]

>> Also, I suspect that for your use case, we could have a general "refresh"
>> command, which just calls `font-lock-flush`, which would not depend on the
>> ill-defined notion of "block" (and wouldn't mess with the mark).
> Yes, I agree that a
>
> (defun font-lock-fontify-window ()
>   (interactive)
>   (font-lock-flush (window-start) (window-end)))
>
> would probably be useful.

It could even flush from point-min to point-max.


        Stefan