|
From: | Tobias Gerdin |
Subject: | bug#32029: [PATCH] xref-find-definitions-at-mouse |
Date: | Wed, 4 Jul 2018 10:03:31 +0200 |
User-agent: | Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:52.0) Gecko/20100101 Thunderbird/52.8.0 |
Den 2018-07-03 kl. 15:15, skrev Dmitry Gutov:
Actually, since the mark will be saved before the jump if one could arrange for saving the mark before the call to mouse-set-point and not saving it again before jumping the call to save-excursion would not be needed and xref-find-definitions could be called interactively. It appears that pushing the mark is set all the way down in `xref--show-xrefs` though, so unless setting this is parameterized somehow it does not look straigthforward to me. And not worth it in this case IMO.I think this can be written much shorter (call mouse-set-point, then interactively call xref-find-definitions), but I'm not sure how.
[Prev in Thread] | Current Thread | [Next in Thread] |