Re: [racket-dev] Line editing in the default REPL

2014-12-13 Thread Eli Barzilay
[I'll reply to your email separately...] Sorry for not sending the results I had earlier re parsing input keys. Just to get this recorded here in case someone wants to do this in the future: I was first optimistic about the prospect of parsing keys in a way that works for all terminals, provided

Re: [racket-dev] Line editing in the default REPL

2014-12-13 Thread Eli Barzilay
On Sat, Dec 13, 2014 at 7:00 PM, Leif Andersen wrote: > Okay, here's another idea. > > I have parametrized the readline collection over the readline/edit/etc. > library. You can do: > >> (require editline) > > For the editline equivalent. > > It also falls back to no line editing (rather than thro

Re: [racket-dev] Line editing in the default REPL

2014-12-13 Thread Leif Andersen
Okay, here's another idea. I have parametrized the readline collection over the readline/edit/etc. library. You can do: > (require editline) For the editline equivalent. It also falls back to no line editing (rather than throwing an exception), if the library is not there. The source is here: