Close *Completions* buffer after evaluation

This is a quick fix for #84. There might be a better place in the code for the fix but this certainly does the trick.
2014-08-21 19:06:01 +02:00 · 2014-08-21 19:06:01 +02:00 · 081a10dadd
parent 50a398744a
commit 081a10dadd
1 changed files with 1 additions and 0 deletions
--- a/src/top/utop.el
+++ b/src/top/utop.el
@ -669,6 +669,7 @@ automatically inserted by utop.

 If ADD-TO-HISTORY is t then the input will be added to history."
  (interactive)
+  (minibuffer-hide-completions)
  (with-current-buffer utop-buffer-name
    (when (eq utop-state 'edit)
      ;; Clear saved pending position