|
From: | Dmitry Gutov |
Subject: | bug#32029: [PATCH] xref-find-definitions-at-mouse |
Date: | Wed, 4 Jul 2018 15:24:25 +0300 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.0 |
On 7/4/18 11:03 AM, Tobias Gerdin wrote:
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.I think this can be written much shorter (call mouse-set-point, then interactively call xref-find-definitions), but I'm not sure how.
Would that really be a desired behavior, though?Regarding the patch, I'm fine with it, but I'd like someone else to confirm that the name of the new function makes sense.
[Prev in Thread] | Current Thread | [Next in Thread] |