Martin Panter added the comment: Surely this should be fixed in Editline, not Python? ---------- nosy: +martin.panter _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue13376> _______________________________________