Mosè Giordano <[email protected]> writes:
>> Maybe it additionally extracts the word at the click position and
>> then searches forward after having jumped to the synctex-provided
>> line.
>
> That's an interesting guess.
Although it's flaky. E.g., if the word is "the", then the chances are
high there are multiple occurences in a line. Maybe taking the current
word at click-position + the next N words (and then searching so that
space also matches \n) might work. But that will fail in situations
where the click-pos is "hello world" but the actual tex text is "hello
\texttt{world}".
If you want, you can play with those suggestions in TeXStudio to see if
it uses such a trick...
> pdf-tools is able to perform search in the PDF file, so it should
> theoretically possible to implement this also there.
Yes.
Bye,
Tassilo
_______________________________________________
auctex mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/auctex
