From cd32335c512b3e4c90cba2ec174f6bf0efa39237 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Tue, 8 Nov 2016 12:34:18 -0500
Subject: [PATCH] feat(emacs/lean-info): push marker to go back after
 find-definition

---
 src/emacs/lean-info.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/emacs/lean-info.el b/src/emacs/lean-info.el
index 0926944a09..a05c529f80 100644
--- a/src/emacs/lean-info.el
+++ b/src/emacs/lean-info.el
@@ -56,6 +56,7 @@
         (funcall cont record))))))
 
 (cl-defun lean-find-definition-cont (&key file line column)
+  (when (fboundp 'xref-push-marker-stack) (xref-push-marker-stack))
   (when file
     (find-file file))
   (goto-char (point-min))