[nongnu] elpa/idris-mode e5ef933366 1/2: Display instead of pop in to Idris repl buffer on startup

[ELPA Syncer]

branch: elpa/idris-mode
commit e5ef933366ca88a058e15b05cb6feca2539daf8f
Author: Marek L <nospam.keram@gmail.com>
Commit: Marek L <nospam.keram@gmail.com>

    Display instead of pop in to Idris repl buffer on startup
    
    Why:
    To avoid warnings from Idris being displayed in same window as current code 
buffer
    on Idris connection and repl startup.
---
 idris-repl.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/idris-repl.el b/idris-repl.el
index 5aa6f8cdb8..e307d36fc1 100644
--- a/idris-repl.el
+++ b/idris-repl.el
@@ -143,7 +143,7 @@ If ALWAYS-INSERT is non-nil, always insert a prompt at the 
end of the buffer."
       (let ((buffer (get-buffer-create idris-repl-buffer-name)))
         (save-selected-window
           (when idris-repl-show-repl-on-startup
-            (pop-to-buffer buffer t))
+            (display-buffer buffer t))
           (with-current-buffer buffer
             (idris-repl-mode)
             (idris-repl-buffer-init))