bug#38294: [PATCH] Handle killing of virtual buffers in Ido

[Dario Gjorgjevski]

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@gmail.com :: +49 1525 8666837
%   gpg --keyserver 'hkps://hkps.pool.sks-keyservers.net' \
\`>     --recv-keys '744A4F0B4F1C9371'