diff --git a/doc/THANKS b/doc/THANKS index a2eb47ce1..82a842596 100644 --- a/doc/THANKS +++ b/doc/THANKS @@ -405,6 +405,9 @@ abc abc Brandon E. for reporting a bug +buawig + for reporting a minor bug + Bugtrace for reporting several bugs diff --git a/lib/core/readlineng.py b/lib/core/readlineng.py index 98ad3d924..ac9224ef6 100644 --- a/lib/core/readlineng.py +++ b/lib/core/readlineng.py @@ -14,9 +14,11 @@ from lib.core.settings import PLATFORM _readline = None try: + from readline import * import readline as _readline except ImportError: try: + from pyreadline import * import pyreadline as _readline except ImportError: pass