Readme states 'Key bindings in the terminal can be changed by writing a ~/.lambda-term-inputrc file. For example:'
However, after writing this file and exiting utop after it's next restart generates the below warning:
`Warning: it is recommended to move `/home/owen/.lambda-term-inputrc` to `$XDG_CONFIG_HOME`, see:
http://standards.freedesktop.org/basedir-spec/basedir-spec-latest.html`
Add all options as decribed by the output by --help to the manual page.
This was done manually and some automation would be nicer.
Signed-off-by: Christian Lindig <christian.lindig@citrix.com>
In standalone mode, utop returns all the possible completions when no
one matches what the user has typed. This is surprising in emacs
because of the different UI/UX. For this reason, we keep a list of
prefixes for which completion has started and return only the
candidates which match the prefixes.
Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
The output from the compiler changed and now mentions the line number
(non only the charters, which actually becomes columns). This patch
introduces the idea of a range of lines spanned by an error and
correctly marks the faulty region.
I think a better solution would be to introduce a "point" record of
the form {line:int;column:int}. However, such a change would
reverberate through all the source code and so it is much more
invasive. I can prepare such a patch if desired, after this one, which
fixes the regression.
tuareg--after-double-colon no longer exists in the latest rev of
Tuareg, which has received 110 additional commits since the last
release version on OPAM, so inline the old definition, which was
removed in commit 91ba1d6143558092a3920e9b5c49755c0c86caed of Tuareg.
tuareg--skip-double-colon was renamed to
tuareg--skip-double-semicolon, and also received a slight change.
Inline that as well since it's a private function.
## Problem
If `utop-edit-command` is nil, then `utop-query-arguments` returns nil.
This breaks `utop-restart` which relies upon it returning the right arguments.
## Solution
`utop-query-arguments` always returns `(utop-arguments)` whether it sets the utop-command or not.
Bozhidar Batsov
Etienne Millon
oemmerson
Kate
David Allsopp
favonia
Nymphium
Christian Lindig
Christian Lindig
Anil Madhavapeddy
Rudi Grinberg
Christian Pellegrin
Brian Leung
Florian Angeletti
Haz
Dan Sănduleac
Etienne Millon