[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#10107: 23.2; Add command gud-quit
From: |
Lars Ingebrigtsen |
Subject: |
bug#10107: 23.2; Add command gud-quit |
Date: |
Tue, 08 Jun 2021 11:36:42 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
>> delete-process is more general (works on all process-like things) and
>> therefore seems more useful as a user-level command.
>
> But the OP wanted to kill only real subprocesses, no?
The OP only wanted a command for gud buffers, but I think that if we
want to have a command here, we should make it generally useful. And
I don't see any downsides to using delete-process instead of
kill-process here, but perhaps I'm overlooking something?
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- bug#10107: 23.2; Add command gud-quit, Lars Ingebrigtsen, 2021/06/02
- bug#10107: 23.2; Add command gud-quit, Krzysztof Żelechowski, 2021/06/04
- bug#10107: 23.2; Add command gud-quit, Lars Ingebrigtsen, 2021/06/06
- bug#10107: 23.2; Add command gud-quit, Krzysztof Żelechowski, 2021/06/06
- bug#10107: 23.2; Add command gud-quit, Lars Ingebrigtsen, 2021/06/06
- bug#10107: 23.2; Add command gud-quit, Eli Zaretskii, 2021/06/06
- bug#10107: 23.2; Add command gud-quit, Lars Ingebrigtsen, 2021/06/06
- bug#10107: 23.2; Add command gud-quit, Eli Zaretskii, 2021/06/06
- bug#10107: 23.2; Add command gud-quit,
Lars Ingebrigtsen <=
- bug#10107: 23.2; Add command gud-quit, Eli Zaretskii, 2021/06/08
- bug#10107: 23.2; Add command gud-quit, Lars Ingebrigtsen, 2021/06/08
- bug#10107: 23.2; Add command gud-quit, Krzysztof Żelechowski, 2021/06/06
- bug#10107: 23.2; Add command gud-quit, Eli Zaretskii, 2021/06/06