Prettier fix for closing completion buffer
This commit is contained in:
parent
081a10dadd
commit
064d874e61
|
@ -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)
|
||||||
|
@ -669,7 +671,6 @@ automatically inserted by utop.
|
||||||
|
|
||||||
If ADD-TO-HISTORY is t then the input will be added to history."
|
If ADD-TO-HISTORY is t then the input will be added to history."
|
||||||
(interactive)
|
(interactive)
|
||||||
(minibuffer-hide-completions)
|
|
||||||
(with-current-buffer utop-buffer-name
|
(with-current-buffer utop-buffer-name
|
||||||
(when (eq utop-state 'edit)
|
(when (eq utop-state 'edit)
|
||||||
;; Clear saved pending position
|
;; Clear saved pending position
|
||||||
|
|
Loading…
Reference in New Issue