Am Sat, 14 Jul 2018 16:06:41 +0100 schrieb Karel: > I have found a bug using synctex with other magnification than 1000, > but I cannot locate some appropriate place to report it. https://github.com/jlaurens/synctex -- Ulrike Fischer https://www.troubleshooting-tex.de/