
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html>

<head>

</head>

<body bgcolor="#ffffff" text="#000000">

<p>I have found a bug using synctex with other magnification than 1000,<br>

but I cannot locate some appropriate place to report it.</p>

<p>So I try this mailing list:-)<br>

<br>

</p>

<p>Even if another magnification is set (1200 usually) in TeX document,

the information in synctex file says</p>

<p>Output:pdf<br>

Magnification:1000</p>

<p>which implies incorrect navigation in the editor.<br>

(Of course when I change the value to 1200 by hand, the navigation is

perfect.)</p>

<h3>How to reproduce</h3>

<p>Start any document with<br>

\magnification 1200<br>

or<br>

\mag 1200</p>

<h3>Expected behavior</h3>

<p>in the corresponding synctex file should be<br>

Magnification:1200</p>

<h3>Actual behavior</h3>

<p>Magnification:1000<br>

is written instead which probably means that dimensions which should be

multiplied by 1.2<br>

are read without any multiplication.<br>

</p>

<p>Thanks for any progress,<br>

Karel Horak<br>

</p>

<p><br>

</p>

</body>

</html>