GNU bug report logs - #28945
25.2; desktop auto save timer does not work

Previous Next

Full log

Message #53 received at 28945 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Drew Adams <drew.adams <at> oracle.com>
Cc: pe.neidhardt <at> googlemail.com, rms <at> gnu.org, 28945 <at> debbugs.gnu.org
Subject: Re: bug#28945: 25.2; desktop auto save timer does not work
Date: Thu, 26 Oct 2017 21:46:17 +0300

> Date: Thu, 26 Oct 2017 11:28:08 -0700 (PDT)
> From: Drew Adams <drew.adams <at> oracle.com>
> Cc: rms <at> gnu.org, pe.neidhardt <at> googlemail.com, 28945 <at> debbugs.gnu.org
> 
> Fait accompli, maybe.  But once and for all, over and
> done with?

No, of course not.  My point was just that the reasons why it was done
back then are no longer relevant; we should instead see whether we
have sufficient justification to change behavior that is the default
for the last 3 years.

> Too bad also, if, as you say, this question should have
> been asked back then, that it wasn't asked by those who
> were looking at the possible new feature.  (I don't know
> that it wasn't asked, but you seem to suggest that, by
> saying that it should have been.)

No, I don't know whether it was asked, I didn't do any research about
that.  I don't remember any discussions, but that doesn't mean there
were none.

Previous Next

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