diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2014-07-29 07:04:57 +0200 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2014-07-29 07:04:57 +0200 |
commit | 4aecc2d439c857b6021c3d3b1450bb619553ca2f (patch) | |
tree | fa33d366c43e8cc9f64fd9dda423fa2f266fca24 /src/luaotfload-configuration.lua | |
parent | 11e08634285978b21fc1f1a03060f5a0c3bd7e7c (diff) | |
parent | 964389257aafe081b09798b8d8976f6450ca97b0 (diff) | |
download | luaotfload-4aecc2d439c857b6021c3d3b1450bb619553ca2f.tar.gz |
Merge pull request #241 from phi-gamma/master
fix issue #237
Diffstat (limited to 'src/luaotfload-configuration.lua')
-rw-r--r-- | src/luaotfload-configuration.lua | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/luaotfload-configuration.lua b/src/luaotfload-configuration.lua index 0b2da64..bf841f7 100644 --- a/src/luaotfload-configuration.lua +++ b/src/luaotfload-configuration.lua @@ -151,6 +151,7 @@ local default_config = { definer = "patch", log_level = 0, color_callback = "pre_linebreak_filter", + live = true, }, misc = { bisect = false, @@ -422,6 +423,7 @@ local option_spec = { }, }, run = { + live = { in_t = boolean_t, }, --- false for the tool, true for TeX run resolver = { in_t = string_t, out_t = string_t, |