[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Eli Zaretskii
Subject: bug#32029: [PATCH] xref-find-definitions-at-mouse
Date: Fri, 06 Jul 2018 11:55:41 +0300

> From: Tobias Gerdin <address@hidden>
> 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?


reply via email to

[Prev in Thread] Current Thread [Next in Thread]