Subject: Re: bug#40863: [PATCH] Improve the display-time-world UI

From: Noam Postavsky <[email-masked]>
Date: Mon, 27 Apr 2020 13:20:40 -0400

Eli Zaretskii <[email-masked]> writes:

>> From: Stefan Kangas <[email-masked]>
>> Date: Sun, 26 Apr 2020 10:56:03 +0200
>> 
>> -(defcustom display-time-world-buffer-name "*wclock*"
>> +(defcustom display-time-world-buffer-name "*World Clock*"
>
> Is this part really necessary? what if some application or user out
> there expects the old name?

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.