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

[Noam Postavsky]

Eli Zaretskii <eliz@gnu.org> writes:

>> From: Stefan Kangas <stefan@marxist.se>
>> 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.