cc762bb7e6
[web] Add synctex to command palette GitOrigin-RevId: 10e769dae6088d279d010fcfa3577b489c6ff89c
[web] Add synctex to command palette GitOrigin-RevId: 10e769dae6088d279d010fcfa3577b489c6ff89c