Subject: bug#32029: [PATCH] xref-find-definitions-at-mouse

From: Eli Zaretskii <[email-masked]>
Date: Fri, 06 Jul 2018 11:55:41 +0300

> From: Tobias Gerdin <[email-masked]>
> Date: Tue, 3 Jul 2018 23:37:23 +0200
> 
> > You should call `mouse-set-point` before `xref-find-backend`, because 
> > the latter might conceivably depend on the value of point.
> >
> > I think this can be written much shorter (call mouse-set-point, then 
> > interactively call xref-find-definitions), but I'm not sure how.
> A new version below.

Dmitry, are you okay with having this on master?  Or is there
something else that should be done about this?

Thanks.