Re: [code] ctrl-c frequently doesn't work on Windows.

From: Mitchell <>
Date: Tue, 24 Oct 2017 11:12:25 -0400 (EDT)


On Mon, 23 Oct 2017, Robert Gieseke wrote:

> Am 23/10/17 um 02:18 schrieb Danny MacMillan:
>> I tried this. With this code, I can't make it fail, even without the
>> sleep.
> [...]
> Awesome - that's really a cool showcase of Textadept's extensibility ...
> let's hope they find some solution for the WSL/bash issue[1]
> Mitchell, what do you think, should the patch/workaround for the Windows
> 10/GUI issue be included? If not it should at least go in the FAQ ...

I'm curious if anyone else is experiencing this issue on Windows 10. (I don't have a Win10 machine to test this on.) Regardless, I'd prefer a more reasonable patch like the one I suggested in a previous reply, and not a patch that tries spawning processes and invoking batch files.


You are subscribed to
To change subscription settings, send an e-mail to
To unsubscribe, send an e-mail to
Received on Tue 24 Oct 2017 - 11:12:25 EDT

This archive was generated by hypermail 2.2.0 : Wed 25 Oct 2017 - 06:34:41 EDT