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 22:35:58 +0300

> From: Noam Postavsky <npostavs <at> gmail.com>
> Cc: 40863 <at> debbugs.gnu.org,  stefan <at> marxist.se
> Date: Mon, 27 Apr 2020 15:00:37 -0400
> 
> No, I think changing the name here makes it more readable (i.e., it's
> not a random change, it's an improvement).  And I think this benefit
> outweighs the possible existence of broken applications, or users
> possibly preferring the current value (I will admit this weighting also
> somewhat depends on the probability of these hypotheticals actually
> turning out to be real, which I've no real basis for; you might judge
> them to be more likely than I do).

I guess it's a matter of personal preferences, then.  E.g., we have
*scratch* and *xref*.

Previous Next

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