[nongnu] elpa/idris-mode 2c1329b086 06/14: Use `idris-notes-buffer-name` in idris-commands.el

[ELPA Syncer]

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

    Use `idris-notes-buffer-name` in idris-commands.el
---
 idris-commands.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/idris-commands.el b/idris-commands.el
index 893abb8a98..355b7e6c64 100644
--- a/idris-commands.el
+++ b/idris-commands.el
@@ -268,8 +268,8 @@ A prefix argument forces loading but only up to the current 
line."
              (when (member 'warnings-tree idris-warnings-printing)
                (idris-list-compiler-notes)
                (if idris-stay-in-current-window-on-compiler-error
-                 (display-buffer (idris-buffer-name :notes))
-                 (pop-to-buffer (idris-buffer-name :notes))))))))
+                 (display-buffer idris-notes-buffer-name)
+                 (pop-to-buffer idris-notes-buffer-name)))))))
     (error "Cannot find file for current buffer")))
 
 (defun idris-view-compiler-log ()