Ville M. Vainio
Mon Dec 3 02:32:36 CST 2007
On Dec 3, 2007 10:00 AM, Ville M. Vainio <email@example.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'
More information about the IPython-dev