[nongnu] elpa/idris-mode 3d460800a4 01/18: Remove unecessary pop or display notes buffer

[ELPA Syncer]

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

    Remove unecessary pop or display notes buffer
    
    Why:
    Last call in `idris-list-compiler-notes` is already call to
    display the notes buffer.
    This also simplify the decision if to pop or only display the notes buffer.
---
 idris-commands.el | 5 +----
 inferior-idris.el | 3 +--
 2 files changed, 2 insertions(+), 6 deletions(-)

diff --git a/idris-commands.el b/idris-commands.el
index 54f3d1cc55..7e000209f7 100644
--- a/idris-commands.el
+++ b/idris-commands.el
@@ -243,10 +243,7 @@ A prefix argument forces loading but only up to the 
current line."
                   (idris-update-loaded-region result))))
            (lambda (_condition)
              (when (member 'warnings-tree idris-warnings-printing)
-               (idris-list-compiler-notes)
-               (if idris-stay-in-current-window-on-compiler-error
-                 (display-buffer idris-notes-buffer-name)
-                 (pop-to-buffer idris-notes-buffer-name)))))))
+               (idris-list-compiler-notes))))))
     (error "Cannot find file for current buffer")))
 
 (defun idris-view-compiler-log ()
diff --git a/inferior-idris.el b/inferior-idris.el
index ba2ea128b5..82ec295925 100644
--- a/inferior-idris.el
+++ b/inferior-idris.el
@@ -379,8 +379,7 @@ Idris error."
           (if no-errors
               (throw tag (list #'identity nil))
             (when (member 'warnings-tree idris-warnings-printing)
-              (when (idris-list-compiler-notes)
-                (pop-to-buffer (idris-buffer-name :notes))))
+              (idris-list-compiler-notes))
             (throw tag (list #'error "%s (synchronous Idris evaluation 
failed)" condition)))))
        (let ((debug-on-quit t)
              (inhibit-quit nil))