texlive[45300] Build/source/texk/web2c/synctexdir/synctex_parser.c:

[commits+jlaurens at tug.org]

Revision: 45300
          http://tug.org/svn/texlive?view=revision&revision=45300
Author:   jlaurens
Date:     2017-09-14 18:23:15 +0200 (Thu, 14 Sep 2017)
Log Message:
-----------
Fixed a division by 0 error in synctex_parser.c (Text editors only)

Modified Paths:
--------------
    trunk/Build/source/texk/web2c/synctexdir/synctex_parser.c

Modified: trunk/Build/source/texk/web2c/synctexdir/synctex_parser.c
===================================================================
--- trunk/Build/source/texk/web2c/synctexdir/synctex_parser.c	2017-09-14 08:59:32 UTC (rev 45299)
+++ trunk/Build/source/texk/web2c/synctexdir/synctex_parser.c	2017-09-14 16:23:15 UTC (rev 45300)
@@ -6600,7 +6600,7 @@
 static synctex_node_p _synctex_node_box_visible(synctex_node_p node) {
     if ((node = _synctex_node_or_handle_target(node))) {
         int mean = 0;
-        int bound = 1500000/(node->class->scanner->pre_magnification/1000);
+        int bound = 1500000/(node->class->scanner->pre_magnification/1000.0);
         synctex_node_p parent = NULL;
         /*  get the first enclosing parent
          *  then get the highest enclosing parent with the same mean line ±1 */