GNU bug report logs - #38294
[PATCH] Handle killing of virtual buffers in Ido

Previous Next

Full log

View this message in rfc822 format

From: Dario Gjorgjevski <dario.gjorgjevski <at> gmail.com>
To: Stefan Kangas <stefan <at> marxist.se>
Cc: Lars Ingebrigtsen <larsi <at> gnus.org>, 38294 <at> debbugs.gnu.org
Subject: bug#38294: [PATCH] Handle killing of virtual buffers in Ido
Date: Fri, 14 Aug 2020 11:23:43 +0200

Hi Stefan,

> Killing it isn't a no-op though.  When you kill it, you get prompted to
> save changes, it runs hooks in the background, presumably removes it
> from active memory, other functions will no longer be able to just
> switch to it, etc., etc.

Point taken.  In that case, my only complaint would be that
‘ido-kill-buffer-at-head’ does treat killing a virtual buffer as
removing it from ‘recentf-list’ (just as suggested here), so there is
some inconsistency.  However, I can live with it.

Best regards,
Dario

-- 
dario.gjorgjevski <at> gmail.com :: +49 1525 8666837
%   gpg --keyserver 'hkps://hkps.pool.sks-keyservers.net' \
\`>     --recv-keys '744A4F0B4F1C9371'

Previous Next

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