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

Previous Next

Full log

View this message in rfc822 format

From: Noam Postavsky <npostavs <at> gmail.com>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: 40863 <at> debbugs.gnu.org, Stefan Kangas <stefan <at> marxist.se>
Subject: bug#40863: [PATCH] Improve the display-time-world UI
Date: Mon, 27 Apr 2020 13:20:40 -0400

Eli Zaretskii <eliz <at> gnu.org> writes:

>> From: Stefan Kangas <stefan <at> 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.

Previous Next

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