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.
>>
>
> Is that not what font-lock-fontify-buffer already does (except during
> narrowing)?

Indeed (but that one, just like `font-lock-fontify-block`) suffers from
a heavy heritage so it's messy and misused, so I'd be very happy to
obsolete it (by replacing it with something simpler and that only
caters to the relevant cases).


        Stefan