diff options
author | Vitalie Spinu <spinuvit@gmail.com> | 2018-09-22 22:11:32 +0200 |
---|---|---|
committer | Bozhidar Batsov <bozhidar.batsov@gmail.com> | 2018-09-23 21:59:44 +0400 |
commit | 61db6a5a643a8d68b7e30eeb0dab99617b7f5e68 (patch) | |
tree | c73b113a74efb6df2580d2825d98be2b7f916aa2 /cider-repl.el | |
parent | e0aca78ba56425e50ea895c5adc7c0331cee0b19 (diff) |
[Fix #2444] Reuse dead REPL buffers on new connection
Diffstat (limited to 'cider-repl.el')
-rw-r--r-- | cider-repl.el | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/cider-repl.el b/cider-repl.el index 7e50506c..261b5bbb 100644 --- a/cider-repl.el +++ b/cider-repl.el @@ -329,10 +329,9 @@ client process connection. Unless NO-BANNER is non-nil, insert a banner." (defun cider-repl--insert-banner-and-prompt (buffer) "Insert REPL banner and REPL prompt in BUFFER." (with-current-buffer buffer - (when (zerop (buffer-size)) - (insert (propertize (cider-repl--banner) 'font-lock-face 'font-lock-comment-face)) - (when cider-repl-display-help-banner - (insert (propertize (cider-repl--help-banner) 'font-lock-face 'font-lock-comment-face)))) + (insert (propertize (cider-repl--banner) 'font-lock-face 'font-lock-comment-face)) + (when cider-repl-display-help-banner + (insert (propertize (cider-repl--help-banner) 'font-lock-face 'font-lock-comment-face))) (goto-char (point-max)) (cider-repl--mark-output-start) (cider-repl--mark-input-start) |