[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/idris-mode 3f7eef3569 02/18: Split idris-list-compiler-not
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/idris-mode 3f7eef3569 02/18: Split idris-list-compiler-notes to idris-compiler-notes-list-show |
Date: |
Thu, 8 Dec 2022 05:59:07 -0500 (EST) |
branch: elpa/idris-mode
commit 3f7eef3569e26cf08ddad61b6add8125b765fe7e
Author: Marek L <nospam.keram@gmail.com>
Commit: Marek L <nospam.keram@gmail.com>
Split idris-list-compiler-notes to idris-compiler-notes-list-show
Why:
To make it similar with idris-list-holes and idris-hole-list-show
---
idris-warnings-tree.el | 33 ++++++++++++++++-----------------
1 file changed, 16 insertions(+), 17 deletions(-)
diff --git a/idris-warnings-tree.el b/idris-warnings-tree.el
index 4f897efd39..3575483bbf 100644
--- a/idris-warnings-tree.el
+++ b/idris-warnings-tree.el
@@ -35,27 +35,26 @@
(defvar idris-notes-buffer-name (idris-buffer-name :notes)
"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)
+ (setq buffer-read-only nil)
+ (erase-buffer)
+ (when notes
+ (let ((root (idris-compiler-notes-to-tree notes)))
+ (idris-tree-insert root "")
+ (insert "\n")
+ (message "Press q to close, return or mouse on error to navigate to
source")
+ (setq buffer-read-only t)
+ (goto-char (point-min))
+ notes
+ (display-buffer idris-notes-buffer-name)))))
+
(defun idris-list-compiler-notes ()
"Show the compiler notes in tree view."
(interactive)
(with-temp-message "Preparing compiler note tree..."
- (let ((notes (reverse idris-raw-warnings))
- (buffer (get-buffer-create idris-notes-buffer-name)))
- (with-current-buffer buffer
- (idris-compiler-notes-mode)
- (setq buffer-read-only nil)
- (erase-buffer)
- (if (null notes)
- nil
- (let ((root (idris-compiler-notes-to-tree notes)))
- (idris-tree-insert root "")
- (insert "\n")
- (message "Press q to close, return or mouse on error to navigate
to source")
- (setq buffer-read-only t)
- (goto-char (point-min))
- notes
- (display-buffer idris-notes-buffer-name)
- ))))))
+ (idris-complier-notes-list-show (reverse idris-raw-warnings))))
(defvar idris-tree-printer 'idris-tree-default-printer)
- [nongnu] elpa/idris-mode updated (4a36953e76 -> 744f773bb4), ELPA Syncer, 2022/12/08
- [nongnu] elpa/idris-mode 8c1a079a8e 03/18: Use idris-notes-buffer-name in idris-notes-quit, ELPA Syncer, 2022/12/08
- [nongnu] elpa/idris-mode 3f7eef3569 02/18: Split idris-list-compiler-notes to idris-compiler-notes-list-show,
ELPA Syncer <=
- [nongnu] elpa/idris-mode 3d460800a4 01/18: Remove unecessary pop or display notes buffer, ELPA Syncer, 2022/12/08
- [nongnu] elpa/idris-mode a971194d56 14/18: Merge pull request #582 from keram/notes-error-buffer-code-cleanup, ELPA Syncer, 2022/12/08
- [nongnu] elpa/idris-mode 51caa5f3a5 15/18: Merge pull request #585 from keram/emacs28-and-cache-v3, ELPA Syncer, 2022/12/08
- [nongnu] elpa/idris-mode 43aead3c46 05/18: Make idris-compiler-notes-list-show more similar with idris-hole-list-show, ELPA Syncer, 2022/12/08
- [nongnu] elpa/idris-mode 68fe8e115f 06/18: Move idris-list-compiler-notes into idris-commands.el, ELPA Syncer, 2022/12/08
- [nongnu] elpa/idris-mode 80861674a6 08/18: Debug CI idris2 failure 2 - try retry to wait for idris version in idris-switch-working-directory, ELPA Syncer, 2022/12/08
- [nongnu] elpa/idris-mode 94a88cdb99 07/18: Restore position after case split, ELPA Syncer, 2022/12/08
- [nongnu] elpa/idris-mode 888bf9614f 04/18: Make notes buffer special and make the show function similar to holes one, ELPA Syncer, 2022/12/08
- [nongnu] elpa/idris-mode 063a63b770 17/18: Merge pull request #586 from idris-hackers/revert-583-update-pr-465, ELPA Syncer, 2022/12/08
- [nongnu] elpa/idris-mode 9a4a9641b9 10/18: [ new ] intro command - backport from idris2-mode, ELPA Syncer, 2022/12/08