[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master 2399541: Remove font-lock toggle from font-lock-update
From: |
Lars Ingebrigtsen |
Subject: |
Re: master 2399541: Remove font-lock toggle from font-lock-update |
Date: |
Thu, 25 Mar 2021 10:09:07 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Stefan Monnier <monnier@iro.umontreal.ca> writes:
> I'd much prefer a longer `font-lock-fontify-diwm` which tries to
> reproduce more or less the same behavior as your favorite, but by
> explicitly testing the different circumstances you care about.
Sure. It could, for instance, refontify the region (if selected)
instead of the entire buffer. And probably a lot of other DWIM-ish
niceness.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- Re: master 2399541: Remove font-lock toggle from font-lock-update, (continued)
- 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
- 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/29
- Re: master 2399541: Remove font-lock toggle from font-lock-update, Stefan Monnier, 2021/03/29
- Re: master 2399541: Remove font-lock toggle from font-lock-update, Gregory Heytings, 2021/03/29
- Re: master 2399541: Remove font-lock toggle from font-lock-update, Stefan Monnier, 2021/03/29
- Re: master 2399541: Remove font-lock toggle from font-lock-update,
Lars Ingebrigtsen <=
- Re: master 2399541: Remove font-lock toggle from font-lock-update, Gregory Heytings, 2021/03/25
- Re: master 2399541: Remove font-lock toggle from font-lock-update, Alan Mackenzie, 2021/03/25
- Re: master 2399541: Remove font-lock toggle from font-lock-update, Paul W. Rankin, 2021/03/24