[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#23085: 24.5; `customized-changed-options`
From: |
Eli Zaretskii |
Subject: |
bug#23085: 24.5; `customized-changed-options` |
Date: |
Sun, 07 Feb 2021 17:26:37 +0200 |
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Date: Sun, 07 Feb 2021 15:07:54 +0100
> Cc: 23085@debbugs.gnu.org
>
> (customize-changed-options-previous-release): Prev release is 21.1.
> (customize-changed-options): Doc fix.
> (customize-changed): New alias.
>
> And the doc string for customize-changed-options was changed to reflect
> what it does, i.e., what you'd expect `customize-changed' to do.
>
> This is kinda backwards, so I've now flipped this, and made
> `customize-changed-options' an obsolete alias.
I'm not sure this change is for the better: no one said that "options"
should be interpreted narrowly as referring only to variables; and
"customize-changed" is simply bad English and doesn't help
understanding what it is about. So I think Richard was right with
that change.