diff options
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, |