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

From: Robert Gieseke <>
Date: Mon, 23 Oct 2017 21:03:45 +0200

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 ...



You are subscribed to
To change subscription settings, send an e-mail to
To unsubscribe, send an e-mail to
Received on Mon 23 Oct 2017 - 15:03:45 EDT

This archive was generated by hypermail 2.2.0 : Tue 24 Oct 2017 - 06:37:32 EDT