branch: elpa/idris-mode
commit 614b3c27be1ff24becaad7eef6ddac7b9a19cedb
Author: Marek L <[email protected]>
Commit: Marek L <[email protected]>
Remove unhelpful message
Why:
`idris-compiler-notes-list-show` now may also hide notes so
saying `Preparing compiler note tree` is misleading.
---
idris-commands.el | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/idris-commands.el b/idris-commands.el
index ca7f35e9ed..5c9a52aa84 100644
--- a/idris-commands.el
+++ b/idris-commands.el
@@ -915,8 +915,7 @@ type-correct, so loading will fail."
(defun idris-list-compiler-notes ()
"Show the compiler notes in tree view."
(interactive)
- (with-temp-message "Preparing compiler note tree..."
- (idris-compiler-notes-list-show (reverse idris-raw-warnings))))
+ (idris-compiler-notes-list-show (reverse idris-raw-warnings)))
(defun idris-kill-buffers ()
;; not killing :events since it it tremendously useful for debuging
