[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: xref-find-matches and stuff

From: Eli Zaretskii
Subject: Re: xref-find-matches and stuff
Date: Wed, 06 May 2015 05:40:56 +0300

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]