GNU bug report logs - #40863
[PATCH] Improve the display-time-world UI

Previous Next

Full log

Message #37 received at 40863 <at> debbugs.gnu.org (full text, mbox):

From: Stefan Kangas <stefan <at> marxist.se>
To: Noam Postavsky <npostavs <at> gmail.com>
Cc: Eli Zaretskii <eliz <at> gnu.org>, 40863 <at> debbugs.gnu.org
Subject: Re: bug#40863: [PATCH] Improve the display-time-world UI
Date: Fri, 01 May 2020 17:03:10 +0200

Noam Postavsky <npostavs <at> gmail.com> writes:

>>> If an application expects a particular name, then it's already broken
>>> because the user can change the defcustom at any time, right?  And if a
>>> user expects the old name, they can customize it back to the old value.
>>
>> So you are saying that we should change these names from time to time
>> just to make a point?
>
> No, I think changing the name here makes it more readable (i.e., it's
> not a random change, it's an improvement).  And I think this benefit
> outweighs the possible existence of broken applications, or users
> possibly preferring the current value

I think Noam presents a compelling argument here.

It might be somewhat minor, and it might to some degree be a matter of
preference.  But even minor improvements can add up and contribute to
the overall user experience.

Best regards,
Stefan Kangas

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.