diff options
-rw-r--r-- | Build/source/texk/web2c/synctexdir/synctex.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/synctexdir/synctex.c b/Build/source/texk/web2c/synctexdir/synctex.c index 52d0cad2365..987a8c2d94d 100644 --- a/Build/source/texk/web2c/synctexdir/synctex.c +++ b/Build/source/texk/web2c/synctexdir/synctex.c @@ -671,7 +671,8 @@ static void *synctex_dot_open(void) if (SYNCTEX_FILE) { if (SYNCTEX_NO_ERROR == synctex_record_preamble()) { /* Initialization of the context */ - synctex_ctxt.magnification = 1000; + if (synctex_ctxt.magnification == 0) + synctex_ctxt.magnification = 1000; synctex_ctxt.unit = SYNCTEX_UNIT_FACTOR; /* synctex_ctxt.busy_name was NULL before, it now owns the_busy_name */ synctex_ctxt.busy_name = the_busy_name; |