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

Previous Next

Full log

View this message in rfc822 format

From: Eli Zaretskii <eliz <at> gnu.org>
To: Noam Postavsky <npostavs <at> gmail.com>
Cc: 40863 <at> debbugs.gnu.org, stefan <at> marxist.se
Subject: bug#40863: [PATCH] Improve the display-time-world UI
Date: Mon, 27 Apr 2020 21:31:51 +0300

> From: Noam Postavsky <npostavs <at> gmail.com>
> Cc: Stefan Kangas <stefan <at> marxist.se>,  40863 <at> debbugs.gnu.org
> 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.

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

Previous Next

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