[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: |
Mon, 22 Feb 2016 18:13:59 +0200 |
> From: Clément Pit--Claudel <address@hidden>
> Date: Sun, 21 Feb 2016 23:55:04 -0500
>
> IIUC the proper way in Emacs 25 to signal changes that require a
> refontification to font-lock is to call font-lock-flush. This doesn't always
> do as much as font-lock-fontify-buffer does, though.
>
> 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),
> 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.
>
> What's the proper way to mark a buffer for refontification (and refontify the
> visible portion) immediately in 25?
I think what you describe _is_ the proper way. Can you show a test
case which demonstrates how calling font-lock-flush followed by
font-lock-ensure fails to do the job?
Thanks.
- What to do when font-lock-flush + font-lock-ensure do less than font-lock-fontify-buffer?, Clément Pit--Claudel, 2016/02/21
- 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 <=
- 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