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

[Eli Zaretskii]

> From: Stefan Monnier <address@hidden>
> Date: Tue, 23 Feb 2016 22:52:38 -0500
> 
> > In particular, when the font-lock-fontified variable is nil (which does
> > happen, though I don't know why; I don't know what this variable is for),
> 
> AFAIK this only happens when font-lock-mode is OFF, or when jit-lock is
> not used and the buffer is larger than font-lock-maximum-size.
> 
> > then calling font-lock-fontify buffer does refontify the whole buffer, but
> > font-lock-flush and font-lock-ensure don't seem to do anything.
> 
> It's normal for font-lock-flush to do nothing.  As for font-lock-ensure
> it's a bug which I believe I fixed a few weeks ago.

Actually, in this particular case I think this is a bug in
prettify-symbols-mode: it should define its own
font-lock-ensure-function.  The default value doesn't cover the kind
of stuff that this mode uses font-lock for.