disable synctex commands when PDF.js window closes