Re: xref-find-matches and stuff

[Eli Zaretskii]

> Cc: address@hidden, address@hidden
> From: Dmitry Gutov <address@hidden>
> Date: Wed, 6 May 2015 00:44:23 +0300
> 
> 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.

Right, and I was suggesting to keep that data.

> And either way, the probability of that position 
> being the exact destination of a previous jump is not very high, IMO.

Depends on the usage patterns, I guess.

> 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.

Fine with me, thanks.