Closed GoogleCodeExporter closed 9 years ago
Are you thinking about
a setting "Quiet KeyboardInterrupt" or
having a different shortcut that would do that or
just having a "stop" button that would cut off anything that might be happening
without any console output?
or something else?
Original comment by miss...@hotmail.com
on 22 Jun 2010 at 12:24
Either/both would be good--"stop" would be nicer for younger people, but if it
comes at the expense of reliability (for some reason I think of ^C as more
reliable than X buttons, in general). Thanks!
Original comment by aresnick...@gmail.com
on 22 Jun 2010 at 2:41
This issue was closed by revision be1384f894.
Original comment by miss...@hotmail.com
on 26 Jun 2010 at 3:20
Original issue reported on code.google.com by
aresnick...@gmail.com
on 20 Jun 2010 at 11:15