[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#56679: 28.1; [PATCH] whitespace-style cannot be configured for diff-
From: |
Michael Heerdegen |
Subject: |
bug#56679: 28.1; [PATCH] whitespace-style cannot be configured for diff-mode via hook |
Date: |
Mon, 25 Jul 2022 04:38:18 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
> Can we delay loading whitespace.el until the user actually wants to
> turn on whitespace-mode, or until he/she customizes this option?
> AFAIU, whitespace-mode is not turned on unconditionally by diff-mode,
> so this 'require' is not needed for users who don't turn that minor
> mode in Diff buffers.
Principally correct - but how do we do this correctly for the
(get 'whitespace-style 'custom-type) :type definition?
> > +(defcustom diff-whitespace-style '(face trailing)
> > + "Specify `whitespace-style' variable for the current Diff mode buffer."
>
> AFAIU, this style will be applied to all Diff mode buffers, not just
> the "current" one. Right?
Yes, that, and also the language of the News entry, is a bit misleading.
> > +** Diff mode
> > +
> > +---
> > +*** New user option 'diff-whitespace-style'.
> > +This option determines buffer-local 'whitespace-style' value.
>
> Should we tell that if someone was using whitespace-style directly for
> this purpose, they should use this new option instead?
AFAIU this never worked, this is what this patch is about (unless those
someones knew some trick maybe).
Michael.
- bug#56679: 28.1; whitespace-style cannot be configured for diff-mode via hook, YE, 2022/07/21
- bug#56679: 28.1; whitespace-style cannot be configured for diff-mode via hook, Michael Heerdegen, 2022/07/22
- bug#56679: 28.1; [PATCH] whitespace-style cannot be configured for diff-mode via hook, YE, 2022/07/24
- bug#56679: 28.1; [PATCH] whitespace-style cannot be configured for diff-mode via hook, Lars Ingebrigtsen, 2022/07/24
- bug#56679: 28.1; [PATCH] whitespace-style cannot be configured for diff-mode via hook, Eli Zaretskii, 2022/07/24
- bug#56679: 28.1; [PATCH] whitespace-style cannot be configured for diff-mode via hook,
Michael Heerdegen <=
- bug#56679: 28.1; [PATCH] whitespace-style cannot be configured for diff-mode via hook, Eli Zaretskii, 2022/07/25
- bug#56679: 28.1; [PATCH] whitespace-style cannot be configured for diff-mode via hook, Michael Heerdegen, 2022/07/26
- bug#56679: 28.1; [PATCH] whitespace-style cannot be configured for diff-mode via hook, YE, 2022/07/26
- bug#56679: 28.1; [PATCH] whitespace-style cannot be configured for diff-mode via hook, Lars Ingebrigtsen, 2022/07/27