emacs-elpa-diffs
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[nongnu] elpa/idris-mode ef6768244b 2/2: Merge pull request #588 from ke


From: ELPA Syncer
Subject: [nongnu] elpa/idris-mode ef6768244b 2/2: Merge pull request #588 from keram/fix-notes-over-code-buffer-on-init
Date: Fri, 9 Dec 2022 05:59:03 -0500 (EST)

branch: elpa/idris-mode
commit ef6768244bafda0bd5be4924a141f3c8453bfd52
Merge: 1c62469a2e e5ef933366
Author: Jan de Muijnck-Hughes <jfdm@users.noreply.github.com>
Commit: GitHub <noreply@github.com>

    Merge pull request #588 from keram/fix-notes-over-code-buffer-on-init
    
    Display instead of pop into Idris repl buffer on 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))



reply via email to

[Prev in Thread] Current Thread [Next in Thread]