In a normal reverse
synchronization flow, the user asks the viewer to
synchronize the text editor with a given location
in a given page of an output file, the viewer asks
the SyncTEX parser for the input file name and line
number corresponding to the location; it then asks
the text editor to display the named input file and
highlight the numbered line.
For reverse synchronization, the user asks the
viewer to synchronize the text editor with a given
location in a given page of an output file, the viewer
forwards this information to the synctex tool together with some scripting command to activate the
text editor, the synctex tool transparently asks the
SyncTEX parser for the input file name and line number corresponding to the information it has received,
then it asks the text editor to proceed according to
the received scripting command
Ref:
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.