You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When using UTop in Emacs, the -implicit-bindings option seems to have no effect.
On discuss.ocaml.org, it was pointed out that uTop uses a different function when processing in emacs mode, that does not refer to get_create_implicits :
When using UTop in Emacs, the
-implicit-bindings
option seems to have no effect.On discuss.ocaml.org, it was pointed out that uTop uses a different function when processing in emacs mode, that does not refer to
get_create_implicits
:utop/src/lib/uTop_main.ml
Line 1078 in 595002e
But they do not know why.
The text was updated successfully, but these errors were encountered: