branch: elpa/idris-mode
commit b6ba424fdb511744b3a552ebed5aa21864624c3d
Merge: 9b743421cd5 62dea9e0922
Author: Jan de Muijnck-Hughes <[email protected]>
Commit: GitHub <[email protected]>
Merge pull request #652 from keram/xref-find-references
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
