summaryrefslogtreecommitdiff
path: root/Build/source
diff options
context:
space:
mode:
authorAkira Kakuto <kakuto@fuk.kindai.ac.jp>2018-07-15 07:06:05 +0000
committerAkira Kakuto <kakuto@fuk.kindai.ac.jp>2018-07-15 07:06:05 +0000
commitfeee5d6dad842f241251c494afc0ede40431788d (patch)
treee360407ebaaf0db477ade14e93030dc1fd91683c /Build/source
parentf0f713991b1f0c54129e5e9041e47c9d5672d370 (diff)
previous fix was incomplete
git-svn-id: svn://tug.org/texlive/trunk@48206 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source')
-rw-r--r--Build/source/texk/web2c/synctexdir/synctex.c3
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;