[nongnu] elpa/idris-mode 67e06eccbd 6/6: Merge pull request #565 from keram/words-of-encouragement-in-repl-banner

[ELPA Syncer]

branch: elpa/idris-mode
commit 67e06eccbd063078df9671169c60ed5bb941d9cf
Merge: 43e8a6e723 8329b73be8
Author: Jan de Muijnck-Hughes <jfdm@users.noreply.github.com>
Commit: GitHub <noreply@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))