[wingide-users] Shell wishlist
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.
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...
More information about the wingide-users