haskal
/
utop
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #85 from mads379/master 

Close *Completions* buffer after evaluation
This commit is contained in:
Jérémie Dimino 2014-08-22 09:29:15 +01:00
parent 50a398744a 064d874e61
commit 8545a6e048
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/top/utop.el
View File

@ -628,9 +628,11 @@ it is started."
;; End of completion ;; End of completion
((string= command "completion-stop") ((string= command "completion-stop")
(utop-set-state 'edit) (utop-set-state 'edit)
(with-current-buffer utop-complete-buffer (if (> (length utop-completion) 1)
(with-output-to-temp-buffer "*Completions*" (with-current-buffer utop-complete-buffer
(display-completion-list (nreverse utop-completion)))) (with-output-to-temp-buffer "*Completions*"
(display-completion-list (nreverse utop-completion))))
(minibuffer-hide-completions))
(setq utop-completion nil))))) (setq utop-completion nil)))))
(defun utop-process-output (process output) (defun utop-process-output (process output)