diff options
| author | Hans Hagen <pragma@wxs.nl> | 2018-03-21 09:47:34 +0100 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2018-03-21 09:47:34 +0100 |
| commit | f47b4939787074397c9ea37c1d892a1f7ccc7290 (patch) | |
| tree | 7768be58efe0faab8e2dccb999686c6a674bf0d7 /tex/context/base/mkiv/cont-run.lua | |
| parent | f923c957a3b322ae3ee8e7a0b20df1580869bee7 (diff) | |
| download | context-f47b4939787074397c9ea37c1d892a1f7ccc7290.tar.gz | |
2018-03-21 09:24:00
Diffstat (limited to 'tex/context/base/mkiv/cont-run.lua')
| -rw-r--r-- | tex/context/base/mkiv/cont-run.lua | 25 |
1 files changed, 24 insertions, 1 deletions
diff --git a/tex/context/base/mkiv/cont-run.lua b/tex/context/base/mkiv/cont-run.lua index 73620adb6..9bd252e60 100644 --- a/tex/context/base/mkiv/cont-run.lua +++ b/tex/context/base/mkiv/cont-run.lua @@ -180,13 +180,36 @@ local function processjob() local suffix = environment.suffix local filename = environment.filename -- hm, not inputfilename ! - if arguments.synctex then + if arguments.nosynctex then + luatex.synctex.setup { + state = interfaces.variables.never, + } + elseif arguments.synctex then luatex.synctex.setup { state = interfaces.variables.start, method = interfaces.variables.max, } end + -- -- todo: move from mtx-context to here: + -- + -- local timing = arguments.timing + -- if type(timing) == "string" then + -- context.usemodule { timing } + -- end + -- local nodates = arguments.nodates + -- if nodates then + -- context.enabledirectives { "backend.date=" .. (type(nodates) == "string" and nodates or "no") } + -- end + -- local trailerid = arguments.trailerid + -- if type(trailerid) == "string" then + -- context.enabledirectives { "backend.trailerid=" .. trailerid } + -- end + -- local profile = arguments.profile + -- if profile then + -- context.enabledirectives { "system.profile=" .. tonumber(profile) or 0 } + -- end + -- -- already done in mtxrun / mtx-context, has to happen very early -- -- if arguments.silent then |