[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: font-lock-fontify-block
From: |
Stefan Monnier |
Subject: |
Re: font-lock-fontify-block |
Date: |
Thu, 11 Mar 2021 14:45:23 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
>>>> Also, I suspect that for your use case, we could have a general
>>>> "refresh" command, which just calls `font-lock-flush`, which would not
>>>> depend on the ill-defined notion of "block" (and wouldn't mess with the
>>>> mark).
>>>
>>> Yes, I agree that a
>>>
>>> (defun font-lock-fontify-window ()
>>> (interactive)
>>> (font-lock-flush (window-start) (window-end)))
>>>
>>> would probably be useful.
>>
>> It could even flush from point-min to point-max.
>>
>
> Is that not what font-lock-fontify-buffer already does (except during
> narrowing)?
Indeed (but that one, just like `font-lock-fontify-block`) suffers from
a heavy heritage so it's messy and misused, so I'd be very happy to
obsolete it (by replacing it with something simpler and that only
caters to the relevant cases).
Stefan
- Re: 'M-o' ('facemap-keymap') has now been removed until March 10th 2021, (continued)
- font-lock-fontify-block (was: 'M-o' ('facemap-keymap') has now been removed until March 10th 2021), Stefan Monnier, 2021/03/11
- Re: font-lock-fontify-block (was: 'M-o' ('facemap-keymap') has now been removed until March 10th 2021), Eli Zaretskii, 2021/03/11
- Re: font-lock-fontify-block, Stefan Monnier, 2021/03/11
- Re: font-lock-fontify-block, Gregory Heytings, 2021/03/11
- Re: font-lock-fontify-block, Stefan Monnier, 2021/03/11
- Re: font-lock-fontify-block, Gregory Heytings, 2021/03/11
- Re: font-lock-fontify-block,
Stefan Monnier <=
- Re: font-lock-fontify-block, Gregory Heytings, 2021/03/11
- Re: font-lock-fontify-block, Gregory Heytings, 2021/03/12
- Re: font-lock-fontify-block, Stefan Monnier, 2021/03/12
- Re: font-lock-fontify-block, Gregory Heytings, 2021/03/12
- Re: font-lock-fontify-block, Stefan Monnier, 2021/03/12
- Re: font-lock-fontify-block, Gregory Heytings, 2021/03/12
- Re: font-lock-fontify-block, Stefan Monnier, 2021/03/12
- Re: font-lock-fontify-block, Gregory Heytings, 2021/03/12
- Re: font-lock-fontify-block, Stefan Monnier, 2021/03/12
- Re: font-lock-fontify-block, Gregory Heytings, 2021/03/12