[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#10107: 23.2; Add command gud-quit
From: |
Krzysztof Żelechowski |
Subject: |
bug#10107: 23.2; Add command gud-quit |
Date: |
Sun, 06 Jun 2021 15:04:27 +0200 |
Dnia niedziela, 6 czerwca 2021 14:50:23 CEST Lars Ingebrigtsen pisze:
> Krzysztof Żelechowski <giecrilj@stegny.2a.pl> writes:
> > While the binding I chose might be inappropriate, the new command
> > would kill the underlying process but leave the buffer for further
> > examination.
>
> 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.)
Imagine yourself as an operator at the Knight Capital Group. You can see
ongoing damage but you still want to preserve the log. What would you rather
use, a keyboard accelerator or a long command?
Chris
- bug#10107: 23.2; Add command gud-quit, (continued)
- 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, 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 <=
- bug#10107: 23.2; Add command gud-quit, Eli Zaretskii, 2021/06/06