summaryrefslogtreecommitdiff
path: root/tex/context/base/mkiv/node-syn.lua
diff options
context:
space:
mode:
authorHans Hagen <pragma@wxs.nl>2017-09-08 00:30:40 +0200
committerContext Git Mirror Bot <phg42.2a@gmail.com>2017-09-08 00:30:40 +0200
commit8601b3c9b34e6ff21d413b5b9256d76d867c2aec (patch)
tree4772ae6802c7dd8491094a53015b7ed5176bc9e0 /tex/context/base/mkiv/node-syn.lua
parent9e7f89f8e06f60cd518f013074cd56599a69fb8f (diff)
downloadcontext-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.lua10
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