[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries
From: |
Stefan Monnier |
Subject: |
Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries |
Date: |
Mon, 10 Aug 2020 18:25:54 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
> OK, but why does that mean we should demote it from being a defcustom?
`defcustom` is mostly useful in order to set it globally in your config file.
> People who need to debug font-lock are also users, and being unable to
> change the value through "M-x set-variable" is an annoyance, at least
> for me.
`set-variable` works rather poorly here because it has no immediate
effect on the current buffer (until you re-enable font-lock).
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.
Stefan
- 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 <=
- 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, 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/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