Re: Problems with while/splot/wxt

[Philipp K. J. <ja...@ie...>]

[snip]

> > Sometimes not even that. It has to be killed externally.
> 
> I suspect it would work to hit ctrl-C twice in quick
> succession.  There is an extra check for pretty much
> exactly this case.

Is this "double-Control-C" (which does work!)
mentioned anywhere in the documentation?

[snip]