GitOrigin-RevId: 6050898614b4fc9dee52e893149acfda17c324a0
GitOrigin-RevId: fcc88a362c3e97c9fddf85d47c3a83a0a0b89432
Move PdfSynctexController and synctex factory to a separate module GitOrigin-RevId: 0fdd87425159bbdec21ab5c82c9f4abb47f82d07