branch: elpa/idris-mode
commit 67e06eccbd063078df9671169c60ed5bb941d9cf
Merge: 43e8a6e723 8329b73be8
Author: Jan de Muijnck-Hughes <j...@users.noreply.github.com>
Commit: GitHub <nore...@github.com>
Merge pull request #565 from keram/words-of-encouragement-in-repl-banner
Move "words of encouragement" from minibuffer to Idris repl banner
---
idris-repl.el | 4 +++-
inferior-idris.el | 4 +---
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/idris-repl.el b/idris-repl.el
index aaebbecd2b..81d10d366c 100644
--- a/idris-repl.el
+++ b/idris-repl.el
@@ -96,7 +96,9 @@ Returns non-`nil' on success, `nil' on failure."
version-string)
(insert (propertize (concat "Idris " version-string)
'face 'italic)
- "\n\n")))))
+ "\n")))
+ (when idris-display-words-of-encouragement
+ (insert (idris-random-words-of-encouragement) "\n"))))
(defun idris-repl-insert-prompt (&optional always-insert)
"Insert or update Idris prompt in buffer.
diff --git a/inferior-idris.el b/inferior-idris.el
index 7e313552dd..b0b7ff5527 100644
--- a/inferior-idris.el
+++ b/inferior-idris.el
@@ -141,9 +141,7 @@ directory variables.")
(set-process-query-on-exit-flag idris-connection t)
(setq idris-process-current-working-directory "")
(run-hooks 'idris-run-hook)
- (when idris-display-words-of-encouragement
- (message "Connected. %s" (idris-random-words-of-encouragement)))
- ))
+ (message "Connection to Idris established.")))
(defun idris-sentinel (_process msg)
(message "Idris disconnected: %s" (substring msg 0 -1))
