[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries
From: |
Stefan Kangas |
Subject: |
Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries |
Date: |
Wed, 12 Aug 2020 11:08:21 -0700 |
Eli Zaretskii <eliz@gnu.org> writes:
>> That's why I'm suggesting a `font-lock-debug-mode` instead.
>>
>> > Do you see any harm in keeping it as a defcustom?
>>
>> If we add `font-lock-debug-mode` I don't see any benefit in keeping it.
>> The harm is limited to accumulating cruft.
>
> If you are saying that we should make a single change which introduces
> font-lock-debug-mode and makes font-lock-support-mode a defvar, then I
> agree. I thought you were advocating to make only the latter change,
> and then consider the former at some future time.
That sounds good. Could we perhaps add that as a feature request to the
bug tracker and get rid of fast-lock and lazy-lock to begin with?
Best regards,
Stefan Kangas
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Jeff Norden, 2020/08/09
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Eli Zaretskii, 2020/08/09
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Jeff Norden, 2020/08/09
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Stefan Monnier, 2020/08/09
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Eli Zaretskii, 2020/08/09
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Stefan Monnier, 2020/08/10
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Eli Zaretskii, 2020/08/10
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Stefan Monnier, 2020/08/10
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Eli Zaretskii, 2020/08/11
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries,
Stefan Kangas <=
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Eli Zaretskii, 2020/08/12
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Stefan Kangas, 2020/08/12
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Eli Zaretskii, 2020/08/12
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Stefan Kangas, 2020/08/12
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Eli Zaretskii, 2020/08/13
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Stefan Monnier, 2020/08/13
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Stefan Kangas, 2020/08/13
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Stefan Kangas, 2020/08/13
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Jeff Norden, 2020/08/13
- Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries, Eli Zaretskii, 2020/08/14