[IPython-dev] wxIPython

[Ville M. Vainio]

On Dec 3, 2007 10:00 AM, Ville M. Vainio <vivainio at gmail.com> wrote:

> Worked fine on win32. A very cool hack!

In addition to other perks, one good idea would be a menu option to
"Terminate current shell command". ctrl+c is a rather unpredictable
way to go about it, but direct os.kill() operation can typically get
the job done.

-- 
Ville M. Vainio - vivainio.googlepages.com
blog=360.yahoo.com/villevainio - g[mail | talk]='vivainio'