In <[EMAIL PROTECTED]>, skip wrote:

> One thing I did find especially annoying though was that none of the editing
> keys worked.  DELETE, BACKSPACE, Ctrl-U.  All just inserted themselves.
> Ctrl-D didn't exit.  (I had to "raise SystemExit" to exit.)
> 
> Is this a known problem?  Is it a Mono thing or an IronPython thing?  Any
> workaround?

The `boo` shell and the `Nemerle` shell can be quit with Ctrl-D under
Mono, so I guess it's an `IronPython` thing.

Ciao,
        Marc 'BlackJack' Rintsch
-- 
http://mail.python.org/mailman/listinfo/python-list

Reply via email to