diff options
author | Hans Hagen <pragma@wxs.nl> | 2017-09-08 00:30:40 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2017-09-08 00:30:40 +0200 |
commit | 8601b3c9b34e6ff21d413b5b9256d76d867c2aec (patch) | |
tree | 4772ae6802c7dd8491094a53015b7ed5176bc9e0 /tex/context/base/mkiv/node-syn.lua | |
parent | 9e7f89f8e06f60cd518f013074cd56599a69fb8f (diff) | |
download | context-8601b3c9b34e6ff21d413b5b9256d76d867c2aec.tar.gz |
2017-09-07 23:55:00
Diffstat (limited to 'tex/context/base/mkiv/node-syn.lua')
-rw-r--r-- | tex/context/base/mkiv/node-syn.lua | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/tex/context/base/mkiv/node-syn.lua b/tex/context/base/mkiv/node-syn.lua index ee4387f00..d6730bb4d 100644 --- a/tex/context/base/mkiv/node-syn.lua +++ b/tex/context/base/mkiv/node-syn.lua @@ -246,24 +246,20 @@ function synctex.blockfilename(name) end function synctex.setfilename(name,line) -if paused == 0 then - if force_synctex_tag and name then + if paused == 0 and force_synctex_tag and name then force_synctex_tag(sttags[name]) if line then force_synctex_line(line) end end end -end function synctex.resetfilename() -if paused == 0 then - if force_synctex_tag then + if paused == 0 and force_synctex_tag then force_synctex_tag(0) force_synctex_line(0) end end -end -- the node stuff @@ -706,6 +702,8 @@ function synctex.finish() end end +local filename = nil + function synctex.pause() paused = paused + 1 if paused == 1 and enabled then |