Caro Andrea,
😳 il motivo per cui la ricerca inversa non mi funzionava
era che il mio mouse disponeva del tasto centrale
ma io non me n’ero accorto!
Cosa vuoi, sono cose che succedono…
Quindi ora ho entrambe la ricerca avanzata e quella inversa:
la prima mi porta, nel file .dvi, alla fine del paragrafo
corrispondente; e la seconda, nel file sorgente, all’inizio del
paragrafo corrispondente.
E tuttavia permangono i problemi.
Sì, perché io faccio molto uso di file che includono altri file
mediante il comando \input,
e le due ricerche applicate a un file che sia incluso appunto in un master file
non mi funzionano per niente bene.
Quella avanzata non riesce a beccare il punto giusto
e si ferma sempre solo all’inizio del .dvi;
e quella inversa, addirittura, non si attiva neppure.
Anche a te risultano queste difficoltà?
E come fare (se possibile) per superarle?
In caso contrario, dovrei concludere che, così com’è,
la ricerca avanzata e inversa purtroppo mi è poco utile.
Mi stai dando un grande aiuto.
Rodolfo