|
| From: | Dmitry Gutov |
| Subject: | Re: xref-find-matches and stuff |
| Date: | Wed, 6 May 2015 00:44:23 +0300 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.0 |
On 05/05/2015 10:11 PM, Eli Zaretskii wrote: > But if that place
was another hit, then we will be able to highlight, right?
In theory, yes, but we'd have to keep data from previous searches, which we currently don't. And either way, the probability of that position being the exact destination of a previous jump is not very high, IMO.
I like to see it highlighted anyway. If you prefer, `xref-pulse-on-jump' can grow another possible value, `forward', which will mean not to blink on a backward jump.
| [Prev in Thread] | Current Thread | [Next in Thread] |