[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: |
Stefan Monnier |
Subject: |
Re: What to do when font-lock-flush + font-lock-ensure do less than font-lock-fontify-buffer? |
Date: |
Tue, 23 Feb 2016 22:52:38 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.1.50 (gnu/linux) |
> 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.
Stefan
- 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?, Anders Lindgren, 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?, 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 <=