2 ms·That is a standard latex feature called synctex. Pretty much any editor does that.by diffeomorphism 5y agoThat is a standard latex feature called synctex. Pretty much any editor does that.