[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 16:43:19 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Gregory Heytings <gregory@heytings.org> writes:
> Is this what is supposed to happen? Just forcibly push a change while
> the discussion is happening, when Stefan told you that your
> understanding is not right, and when I told you that the command
> _does_ what "original author" intented?
No, this is not what's supposed to happen.
--
(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 <=
- 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
- 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