Re: What to do when font-lock-flush + font-lock-ensure do less than font-lock-fontify-buffer?

[Stefan Monnier]

> However, please explain why font-lock-ensure-function calls
> font-lock-DEFAULT-fontify-buffer.

Good question.

> As a matter of fact, if I replace the font-lock-default-fontify-buffer
> call with a call to font-lock-fontify-buffer, the problem described by
> the OP goes away.  That is why I said what I said.

I haven't seen the beginning of the thread, but if that fixes the
problem, then I think it's a good change.

To go back to the previous question.  I guess I used
font-lock-default-fontify-buffer because the whole point is to get rid
of all the misuses of font-lock-fontify-buffer, but I think in this case
it's indeed the right thing to do.


        Stefan