[nongnu] elpa/idris-mode 43aead3c46 05/18: Make idris-compiler-notes-list-show more similar with idris-hole-list-show

[ELPA Syncer]

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

    Make idris-compiler-notes-list-show more similar with idris-hole-list-show
---
 idris-warnings-tree.el | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/idris-warnings-tree.el b/idris-warnings-tree.el
index 9749e254f1..bfb6b49f86 100644
--- a/idris-warnings-tree.el
+++ b/idris-warnings-tree.el
@@ -36,18 +36,18 @@
   "The name of the buffer containing Idris errors")
 
 (defun idris-compiler-notes-list-show (notes)
-  (with-current-buffer (get-buffer-create idris-notes-buffer-name)
-    (idris-compiler-notes-mode)
-    (if (null notes)
-        nil
+  (if (null notes)
+      nil ;; See https://github.com/idris-hackers/idris-mode/pull/148 TODO: 
revisit
+    (with-current-buffer (get-buffer-create idris-notes-buffer-name)
+      (idris-compiler-notes-mode)
       (let ((buffer-read-only nil)
             (root (idris-compiler-notes-to-tree notes)))
         (erase-buffer)
         (idris-tree-insert root "")
         (insert "\n\n")
         (message "Press q to close, return or mouse on error to navigate to 
source")
-        (goto-char (point-min))
-        (display-buffer idris-notes-buffer-name)))))
+        (goto-char (point-min))))
+    (display-buffer idris-notes-buffer-name)))
 
 (defun idris-list-compiler-notes ()
   "Show the compiler notes in tree view."