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

[Stefan Monnier]

> 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.

Hmm... I don't see any reason why that should be the case.
IOW I think that if a change is needed it should be font-lock.el because
prettify-symbols-mode seems to be using font-lock in a "normal" way.


        Stefan