[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: |
Wed, 24 Mar 2021 18:49:51 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
"Paul W. Rankin" via "Emacs development discussions."
<emacs-devel@gnu.org> writes:
> No worries. I thought of pushing a change as the nicer alternative to
> a revert. To be blunt, the code ought to be reverted (for the reasons
> already stated).
It's clear that this is your opinion, but you don't seem to have
convinced the other people participating in this discussion.
--
(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, 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, 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 <=
- 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, 2021/03/25