[nongnu] elpa/idris-mode fbe5e363c4 11/14: Use `idris-connection-buffer-name` instead of `(idris-buffer-name :connection)`

[ELPA Syncer]

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

    Use `idris-connection-buffer-name` instead of `(idris-buffer-name 
:connection)`
---
 idris-commands.el | 2 +-
 inferior-idris.el | 7 +++++--
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/idris-commands.el b/idris-commands.el
index a0b464f2d3..3c122775e9 100644
--- a/idris-commands.el
+++ b/idris-commands.el
@@ -976,7 +976,7 @@ https://github.com/clojure-emacs/cider";
   (interactive)
   (setq idris-prover-currently-proving nil)
   (let* ((pbuf (get-buffer idris-process-buffer-name))
-         (cbuf (get-buffer (idris-buffer-name :connection))))
+         (cbuf (get-buffer idris-connection-buffer-name)))
     (when cbuf
       (when (get-buffer-process cbuf)
         (with-current-buffer cbuf (delete-process nil))) ; delete connection 
without asking
diff --git a/inferior-idris.el b/inferior-idris.el
index 6bb5bbfbd4..ba2ea128b5 100644
--- a/inferior-idris.el
+++ b/inferior-idris.el
@@ -69,6 +69,9 @@
 (defvar idris-process-buffer-name (idris-buffer-name :process)
   "The name of the Idris process buffer.")
 
+(defvar idris-connection-buffer-name (idris-buffer-name :connection)
+  "The name of the Idris connection buffer.")
+
 (defun idris-version-hook-function (event)
   (pcase event
     (`(:protocol-version ,version ,minor)
@@ -101,7 +104,7 @@ directory variables.")
   (interactive)
   (let ((command-line-flags (idris-compute-flags)))
     ;; Kill the running Idris if the command-line flags need updating
-    (when (and (get-buffer-process (get-buffer (idris-buffer-name 
:connection)))
+    (when (and (get-buffer-process (get-buffer idris-connection-buffer-name))
                (not (equal command-line-flags idris-current-flags)))
       (message "Idris command line arguments changed, restarting Idris")
       (idris-quit)
@@ -134,7 +137,7 @@ directory variables.")
   "Establish a connection with a Idris REPL."
   (when (not idris-connection)
     (setq idris-connection
-          (open-network-stream "Idris IDE support" (idris-buffer-name 
:connection) "127.0.0.1" port))
+          (open-network-stream "Idris IDE support" 
idris-connection-buffer-name "127.0.0.1" port))
     (add-hook 'idris-event-hooks 'idris-version-hook-function)
     (add-hook 'idris-event-hooks 'idris-log-hook-function)
     (add-hook 'idris-event-hooks 'idris-warning-event-hook-function)