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

[Eli Zaretskii]

> From: Noam Postavsky <npostavs@gmail.com>
> Cc: Stefan Kangas <stefan@marxist.se>,  40863@debbugs.gnu.org
> Date: Mon, 27 Apr 2020 13:20:40 -0400
> 
> 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.

So you are saying that we should change these names from time to time
just to make a point?