GNU bug report logs - #8399
23.3; save-some-buffers ignores buffer names

Previous Next

Full log

View this message in rfc822 format

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: u.s.reddy <at> cs.bham.ac.uk, monnier <at> iro.umontreal.ca, 8399 <at> debbugs.gnu.org
Subject: bug#8399: 23.3; save-some-buffers ignores buffer names
Date: Tue, 25 Aug 2020 16:48:57 +0200

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

> In the usual case, i.e. where the file name is not something invented
> by a VM or somesuch, I think the file name is more useful, yes.  Or at
> least it could be.  So maybe we should offer this as an optional
> feature, as I presume the OP's use case is somewhat rare?

Sorry; I didn't see this before I made the change.  Does the new
behaviour (showing both names if they're dissimilar) look OK to you?

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no

Previous Next

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