[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))
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [nongnu] elpa/idris-mode ef6768244b 2/2: Merge pull request #588 from keram/fix-notes-over-code-buffer-on-init,
ELPA Syncer <=