load key bindings at startup

Ignore-this: 2ba306236255605644faf0b3179ee75e darcs-hash:20110802123838-c41ad-a8132df5361ee1f1a4cd4433c00d6515b3d088ce
2011-08-02 14:38:38 +02:00 · 2011-08-02 14:38:38 +02:00 · 5156bee455
parent bebd9fefcc
commit 5156bee455
1 changed files with 1 additions and 0 deletions
--- a/src/uTop_console.ml
+++ b/src/uTop_console.ml
@ -411,4 +411,5 @@ lwt () = join [
  init_history ();
  init_resources ();
  init_read_interactive_input ();
+  LTerm_inputrc.load ();
 ]