[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#10107: 23.2; Add command gud-quit
From: |
Eli Zaretskii |
Subject: |
bug#10107: 23.2; Add command gud-quit |
Date: |
Sun, 06 Jun 2021 15:59:15 +0300 |
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Date: Sun, 06 Jun 2021 14:50:23 +0200
> Cc: 10107@debbugs.gnu.org
>
> Oh, I see -- you just want a command that kills the process in the
> current buffer?
>
> Sure, that's something that I think sounds generally useful (for
> instance to kill an out-of-control process that's inserting something in
> the buffer), and there doesn't seem to be such a command?
>
> The `delete-process' function does this (with no parameters it'll kill
> the process in the current buffer), so we could just slap an interactive
> spec on it and make it a command. (Assigning a keystroke to it might
> perhaps be overkill.)
Why not invoke kill-process instead?
- 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 <=
- 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/08
- 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