[tex-live] bug in synctex

[Karel]

I have found a bug using synctex with other magnification than 1000,
but I cannot locate some appropriate place to report it.

So I try this mailing list:-)

Even if another magnification is set (1200 usually) in TeX document, the 
information in synctex file says

Output:pdf
Magnification:1000

which implies incorrect navigation in the editor.
(Of course when I change the value to 1200 by hand, the navigation is 
perfect.)


      How to reproduce

Start any document with
\magnification 1200
or
\mag 1200


      Expected behavior

in the corresponding synctex file should be
Magnification:1200


      Actual behavior

Magnification:1000
is written instead which probably means that dimensions which should be 
multiplied by 1.2
are read without any multiplication.

Thanks for any progress,
Karel Horak


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://tug.org/pipermail/tex-live/attachments/20180714/5164dd56/attachment.html>