[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master 2399541: Remove font-lock toggle from font-lock-update
From: |
Stefan Monnier |
Subject: |
Re: master 2399541: Remove font-lock toggle from font-lock-update |
Date: |
Wed, 24 Mar 2021 11:47:46 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Lars Ingebrigtsen [2021-03-24 16:28:02] wrote:
> Stefan Monnier <monnier@iro.umontreal.ca> writes:
>> I don't see which part of the code corresponds to "the accessible
>> portion of".
> Isn't that the preferred euphemism for "the entire buffer, or if it's
> narrowed, then that bit?"
Oh, I think you're right. So the problem is not just in the code but
also in the description, because I don't think this description is
appropriate for something which is intended to replace the
`f-l-fontify-block` command (tho we can make it work fast in the usual
case where jit-lock is in use: use call `f-l-flush` instead of
`f-l-fontify-region`).
Stefan
- Re: master 2399541: Remove font-lock toggle from font-lock-update, Stefan Monnier, 2021/03/24
- Re: master 2399541: Remove font-lock toggle from font-lock-update, Lars Ingebrigtsen, 2021/03/24
- Re: master 2399541: Remove font-lock toggle from font-lock-update,
Stefan Monnier <=
- Re: master 2399541: Remove font-lock toggle from font-lock-update, Paul W. Rankin, 2021/03/24
- Re: master 2399541: Remove font-lock toggle from font-lock-update, Gregory Heytings, 2021/03/24
- Re: master 2399541: Remove font-lock toggle from font-lock-update, Lars Ingebrigtsen, 2021/03/24
- Re: master 2399541: Remove font-lock toggle from font-lock-update, Lars Ingebrigtsen, 2021/03/24
- Re: master 2399541: Remove font-lock toggle from font-lock-update, Paul W. Rankin, 2021/03/24
- Re: master 2399541: Remove font-lock toggle from font-lock-update, Lars Ingebrigtsen, 2021/03/24
- Re: master 2399541: Remove font-lock toggle from font-lock-update, Stefan Monnier, 2021/03/24
- Re: master 2399541: Remove font-lock toggle from font-lock-update, Gregory Heytings, 2021/03/24
- Re: master 2399541: Remove font-lock toggle from font-lock-update, Stefan Monnier, 2021/03/25
- Re: master 2399541: Remove font-lock toggle from font-lock-update, Gregory Heytings, 2021/03/25