[wingide-users] Shell wishlist

cool-RR cool-rr at cool-rr.com
Wed Jan 20 10:51:10 MST 2010

On Wed, Jan 20, 2010 at 5:49 PM, Michael Foord <fuzzyman at voidspace.org.uk>wrote:

> On 20/01/2010 15:40, Ram Rachum wrote:
>> There is restart shell, but KeyboardInterrupt would be nicer.
> Michael
A lot nicer -- I was just doing some calculations using the shell, and
accidentally I gave it a job that would take hours (if not days) to
complete. If I had KeyboardInterrupt I could just abort the computation
instead of the entire session with all the definitions and previous

-------------- next part --------------
An HTML attachment was scrubbed...
URL: /pipermail/wingide-users/attachments/20100120/68829b04/attachment.html

More information about the wingide-users mailing list