Index: ReadlineConsole.java =================================================================== RCS file: /cvsroot/jython/jython/org/python/util/ReadlineConsole.java,v retrieving revision 1.4 diff -u -r1.4 ReadlineConsole.java --- ReadlineConsole.java 2001/11/27 13:51:38 1.4 +++ ReadlineConsole.java 2001/12/10 18:24:51 @@ -17,6 +17,14 @@ } public ReadlineConsole(PyObject locals, String filename) { super(locals,filename); + String backingLib = PySystemState.registry.getProperty( + "python.console.readlinelib", "Editline"); + try { + Readline.load(ReadlineLibrary.byName(backingLib)); + } catch (RuntimeException e) { + // Silently ignore errors during load of the native library. + // Will use a pure java fallback. + } Readline.initReadline("jpython"); }