branch: elpa/idris-mode
commit 62dea9e0922c7923d7c010f5c59896d0d6ddae86
Author: Marek L <[email protected]>
Commit: Marek L <[email protected]>
Add support for `xref-find-references`
---
idris-mode.el | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/idris-mode.el b/idris-mode.el
index 7809e9a9127..03d6ff41a13 100644
--- a/idris-mode.el
+++ b/idris-mode.el
@@ -164,7 +164,9 @@ Invokes `idris-mode-hook'."
(set (make-local-variable 'prop-menu-item-functions)
'(idris-context-menu-items idris-mode-context-menu-items))
- (add-hook 'xref-backend-functions #'idris-xref-backend nil 'local))
+ (add-hook 'xref-backend-functions #'idris-xref-backend nil 'local)
+ ;; Support for xref-find-references
+ (setq-local semantic-symref-filepattern-alist '((idris-mode "*.idr"
"*.lidr"))))
;; Automatically use idris-mode for .idr and .lidr files.
;;;###autoload
