diff options
| author | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2018-07-15 07:06:05 +0000 |
|---|---|---|
| committer | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2018-07-15 07:06:05 +0000 |
| commit | feee5d6dad842f241251c494afc0ede40431788d (patch) | |
| tree | e360407ebaaf0db477ade14e93030dc1fd91683c /Build/source | |
| parent | f0f713991b1f0c54129e5e9041e47c9d5672d370 (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.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; |