[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 <tgerdin@gmail.com>
> 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.