Perry E. Metzger
Perry E. Metzger
Make a pull request?
I don't know either. :)
@XVilka Also add documentation for the new facility. :)
BTW, I hadn't read this before, but ocp-index-top (as linked to by @rgrinberg above) looks quite nice!
@kandu So do you see #294 as a full replacement for this? And does @ivg agree?
I think this would be a mistake, given that people expect `C-a` to behave the way it does now. However, it should be pretty straightforward to get it to behave...
@rgrinberg So making it use comint is a wider topic. Meanwhile, though, we could adopt a couple of comint's key bindings like `C-c C-a` pretty easily to make things behave...
Someone might want to submit a patch to the opam file to fix this for now. (The Makefile can be patched in the opam build process.) That's probably the fastest...
The quickest fix for anyone is to force use of `ppx_tools_versioned.5.2`. A slightly "better" quick fix is to put the Makefile patch into the opam file and request a pull...
Can we close this for now, or should we keep it open until the underlying issue is fixed?