[nongnu] elpa/idris-mode 36334b46e7 09/23: [xref] Add support for xref lookup to Idris supporting buffers

[ELPA Syncer]

branch: elpa/idris-mode
commit 36334b46e783f237010e5a413ea94e4062796265
Author: Marek L <nospam.ke...@gmail.com>
Commit: Marek L <nospam.ke...@gmail.com>

    [xref] Add support for xref lookup to Idris supporting buffers
---
 idris-hole-list.el     | 4 +++-
 idris-info.el          | 3 ++-
 idris-warnings-tree.el | 4 +++-
 3 files changed, 8 insertions(+), 3 deletions(-)

diff --git a/idris-hole-list.el b/idris-hole-list.el
index 3d45bbcd2d..fc25ed994e 100644
--- a/idris-hole-list.el
+++ b/idris-hole-list.el
@@ -30,6 +30,7 @@
 (require 'idris-keys)
 (require 'idris-warnings-tree)
 (require 'idris-settings)
+(require 'idris-xref)
 
 (defvar idris-hole-list-buffer-name (idris-buffer-name :holes)
   "The name of the buffer containing Idris holes.")
@@ -66,7 +67,8 @@
   "Major mode used for transient Idris hole list buffers.
 \\{idris-hole-list-mode-map}
 Invokes `idris-hole-list-mode-hook'."
-  (setq-local prop-menu-item-functions '(idris-context-menu-items)))
+  (setq-local prop-menu-item-functions '(idris-context-menu-items))
+  (add-hook 'xref-backend-functions #'idris-xref-backend nil 'local))
 
 ;; TODO: Auto detect mode for idris holes buffer instead of
 ;; invoking `idris-hole-list-mode' in `idris-hole-list-show'
diff --git a/idris-info.el b/idris-info.el
index 24ad055007..e2423204ce 100644
--- a/idris-info.el
+++ b/idris-info.el
@@ -28,6 +28,7 @@
 (require 'prop-menu)
 (require 'idris-core)
 (require 'idris-common-utils)
+(require 'idris-xref)
 (require 'help-mode)
 
 (defvar idris-info-buffer-name (idris-buffer-name :info)
@@ -56,7 +57,7 @@
 \\{idris-info-mode-map}
 Invokes `idris-info-mode-hook'."
   (setq-local prop-menu-item-functions '(idris-context-menu-items))
-  (set (make-local-variable 'prop-menu-item-functions) 
'(idris-context-menu-items)))
+  (add-hook 'xref-backend-functions #'idris-xref-backend nil 'local))
 
 (defun idris-info-buffer ()
   "Return Idris info buffer."
diff --git a/idris-warnings-tree.el b/idris-warnings-tree.el
index aeb886bf59..bff75c7a86 100644
--- a/idris-warnings-tree.el
+++ b/idris-warnings-tree.el
@@ -31,6 +31,7 @@
 (require 'idris-core)
 (require 'idris-warnings)
 (require 'idris-common-utils)
+(require 'idris-xref)
 
 (defvar idris-notes-buffer-name (idris-buffer-name :notes)
   "The name of the buffer containing Idris errors.")
@@ -99,7 +100,8 @@
   "Major mode for displaying Idris compiler notes.
 \\{idris-compiler-notes-mode-map}
 Invokes `idris-compiler-notes-mode-hook'."
-  (setq-local prop-menu-item-functions '(idris-context-menu-items)))
+  (setq-local prop-menu-item-functions '(idris-context-menu-items))
+  (add-hook 'xref-backend-functions #'idris-xref-backend nil 'local))
 
 (defun idris-compiler-notes-show-details ()
   (interactive)