[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: What to do when font-lock-flush + font-lock-ensure do less than font
From: |
Eli Zaretskii |
Subject: |
Re: What to do when font-lock-flush + font-lock-ensure do less than font-lock-fontify-buffer? |
Date: |
Wed, 24 Feb 2016 19:12:35 +0200 |
> 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.
- Re: What to do when font-lock-flush + font-lock-ensure do less than font-lock-fontify-buffer?, (continued)
- Re: What to do when font-lock-flush + font-lock-ensure do less than font-lock-fontify-buffer?, Eli Zaretskii, 2016/02/22
- Re: What to do when font-lock-flush + font-lock-ensure do less than font-lock-fontify-buffer?, Clément Pit--Claudel, 2016/02/22
- Re: What to do when font-lock-flush + font-lock-ensure do less than font-lock-fontify-buffer?, Kaushal Modi, 2016/02/22
- Re: What to do when font-lock-flush + font-lock-ensure do less than font-lock-fontify-buffer?, Eli Zaretskii, 2016/02/22
- Re: What to do when font-lock-flush + font-lock-ensure do less than font-lock-fontify-buffer?, Clément Pit--Claudel, 2016/02/22
- Re: What to do when font-lock-flush + font-lock-ensure do less than font-lock-fontify-buffer?, Eli Zaretskii, 2016/02/23
- Re: What to do when font-lock-flush + font-lock-ensure do less than font-lock-fontify-buffer?, Clément Pit--Claudel, 2016/02/23
Re: What to do when font-lock-flush + font-lock-ensure do less than font-lock-fontify-buffer?, Stefan Monnier, 2016/02/23
- Re: What to do when font-lock-flush + font-lock-ensure do less than font-lock-fontify-buffer?,
Eli Zaretskii <=