fix synctex highlight height GitOrigin-RevId: 521de65269cf22d3298a154a0a38e8a4c7e88764
languageName
visual