[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#38294: [PATCH] Handle killing of virtual buffers in Ido
From: |
Stefan Kangas |
Subject: |
bug#38294: [PATCH] Handle killing of virtual buffers in Ido |
Date: |
Sat, 15 Aug 2020 07:03:26 -0700 |
Lars Ingebrigtsen <larsi@gnus.org> writes:
> Yeah, I think you're right, and the original patch was the correct
> solution here: When the user explicitly (and interactively) kills a
> buffer, then they expect that buffer to go away. (There isn't any other
> reasonable interpretation for that interactive action.)
>
> It's perhaps slightly inconsistent, but I think it's more DWIM.
Thanks!
- bug#38294: [PATCH] Handle killing of virtual buffers in Ido, (continued)
- bug#38294: [PATCH] Handle killing of virtual buffers in Ido, Dario Gjorgjevski, 2020/08/13
- bug#38294: [PATCH] Handle killing of virtual buffers in Ido, Stefan Kangas, 2020/08/13
- bug#38294: [PATCH] Handle killing of virtual buffers in Ido, Dario Gjorgjevski, 2020/08/14
- bug#38294: [PATCH] Handle killing of virtual buffers in Ido, Lars Ingebrigtsen, 2020/08/14
- bug#38294: [PATCH] Handle killing of virtual buffers in Ido, Stefan Kangas, 2020/08/14
- bug#38294: [PATCH] Handle killing of virtual buffers in Ido, Dario Gjorgjevski, 2020/08/14
- bug#38294: [PATCH] Handle killing of virtual buffers in Ido, Stefan Kangas, 2020/08/14
- bug#38294: [PATCH] Handle killing of virtual buffers in Ido, Dario Gjorgjevski, 2020/08/15
- bug#38294: [PATCH] Handle killing of virtual buffers in Ido, Lars Ingebrigtsen, 2020/08/15
- bug#38294: [PATCH] Handle killing of virtual buffers in Ido,
Stefan Kangas <=