[IPython-dev] Using pyreadline by default

[Stéfan van der Walt]

Hi,

As I mentioned earlier, I am not fond of the pager in readline, and
would like to migrate towards pyreadline, in which I can implement my
own.

It looks like the choice between pyreadline and readline is hard-coded
on a platform-by-platform basis in rlineimpl.py.  It would be useful
if we had a configuration variable which allowed the user to make that
choice.  If you are amenable to this idea, I'll write a patch.

Regards
Stéfan