diff options
| author | Hans Hagen <pragma@wxs.nl> | 2018-05-12 01:19:03 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2018-05-12 01:19:03 +0200 |
| commit | 77e216e323271fb85d508b7206b13c980540b74b (patch) | |
| tree | 5b4053c2bbe5190e28c0dce89653c7b13aea0642 /tex/context/base/mkiv/node-syn.lua | |
| parent | d817aef76ab8b606c02bd0636661b634b43a68a6 (diff) | |
| download | context-77e216e323271fb85d508b7206b13c980540b74b.tar.gz | |
2018-05-12 00:16:00
Diffstat (limited to 'tex/context/base/mkiv/node-syn.lua')
| -rw-r--r-- | tex/context/base/mkiv/node-syn.lua | 16 |
1 files changed, 4 insertions, 12 deletions
diff --git a/tex/context/base/mkiv/node-syn.lua b/tex/context/base/mkiv/node-syn.lua index 9d716c44a..efac2795a 100644 --- a/tex/context/base/mkiv/node-syn.lua +++ b/tex/context/base/mkiv/node-syn.lua @@ -126,8 +126,6 @@ local report_system = logs.reporter("system") local tex = tex local nuts = nodes.nuts -local tonut = nuts.tonut -local tonode = nuts.tonode local getid = nuts.getid local getlist = nuts.getlist @@ -623,16 +621,10 @@ end collect = collect_max function synctex.collect(head,where) - if enabled then - if where == "object" then - return head, false - else - local h = tonut(head) - h = collect(h,h) - return tonode(h), true - end + if enabled and where ~= "object" then + return collect(head,head) else - return head, false + return head end end @@ -678,7 +670,7 @@ function synctex.enable() enabled = true set_synctex_mode(3) -- we want details if not used then - nodes.tasks.appendaction("shipouts", "after", "luatex.synctex.collect") + nodes.tasks.enableaction("shipouts","luatex.synctex.collect") report_system("synctex functionality is enabled, expect 5-10 pct runtime overhead!") used = true end |