[Top][All Lists]

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

Re: xref-find-matches and stuff

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.

reply via email to

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