##// END OF EJS Templates
Merge pull request #3487 from takluyver/drop_old_pyreadline...
Min RK -
r11352:554fc32b merge
parent child Browse files
Show More
@@ -56,18 +56,6 b" if sys.platform == 'darwin':"
56 56 # cleanup dirty trick vars
57 57 del dynload_idx, lib_dynload
58 58
59 if have_readline and hasattr(_rl, 'rlmain'):
60 # patch add_history to allow for strings in pyreadline <= 1.5:
61 # fix copied from pyreadline 1.6
62 import pyreadline
63 if pyreadline.release.version <= '1.5':
64 def add_history(line):
65 """add a line to the history buffer."""
66 from pyreadline import lineobj
67 if not isinstance(line, lineobj.TextLine):
68 line = lineobj.TextLine(line)
69 return _rl.add_history(line)
70
71 59 if (sys.platform == 'win32' or sys.platform == 'cli') and have_readline:
72 60 try:
73 61 _outputfile=_rl.GetOutputFile()
General Comments 0
You need to be logged in to leave comments. Login now