diff options
author | Hans Hagen <pragma@wxs.nl> | 2023-02-23 21:40:04 +0100 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2023-02-23 21:40:04 +0100 |
commit | 23b5ef45e7939a00addff726d02d6c29243177af (patch) | |
tree | 9b9317684a63bc93fc181c16518293204224430c /source/luametatex/source/lua/lmtinterface.h | |
parent | cd404631d7079a9af603d173eb015f026731aa01 (diff) | |
download | context-23b5ef45e7939a00addff726d02d6c29243177af.tar.gz |
2023-02-23 21:26:00
Diffstat (limited to 'source/luametatex/source/lua/lmtinterface.h')
-rw-r--r-- | source/luametatex/source/lua/lmtinterface.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/source/luametatex/source/lua/lmtinterface.h b/source/luametatex/source/lua/lmtinterface.h index 59ef808c8..26481d075 100644 --- a/source/luametatex/source/lua/lmtinterface.h +++ b/source/luametatex/source/lua/lmtinterface.h @@ -560,6 +560,7 @@ make_lua_key(L, data);\ make_lua_key(L, deep_frozen_cs_dont_expand);\ make_lua_key(L, deep_frozen_cs_end_template);\ make_lua_key(L, def);\ +make_lua_key(L, deferred);\ make_lua_key(L, define_char_code);\ make_lua_key(L, define_family);\ make_lua_key(L, define_font);\ @@ -572,6 +573,8 @@ make_lua_key(L, delimiter);\ make_lua_key(L, delimiter_number);\ make_lua_key(L, delimiterover);\ make_lua_key(L, delimiterovervariant);\ +make_lua_key(L, DelimiterExtendMargin);\ +make_lua_key(L, delimiterextendmargin);\ make_lua_key(L, DelimiterPercent);\ make_lua_key(L, delimiterpercent);\ make_lua_key(L, DelimiterShortfall);\ @@ -749,6 +752,7 @@ make_lua_key(L, indentskip);\ make_lua_key(L, index);\ make_lua_key(L, info);\ make_lua_key(L, Info);\ +make_lua_key(L, inherited);\ make_lua_key(L, inner);\ make_lua_key(L, innerlocation);\ make_lua_key(L, innerxoffset);\ @@ -1126,6 +1130,7 @@ make_lua_key(L, ScriptScriptPercentScaleDown);\ make_lua_key(L, scriptscriptscale);\ make_lua_key(L, second);\ make_lua_key(L, semisimple);\ +make_lua_key(L, semiprotected);\ make_lua_key(L, set);\ make_lua_key(L, set_auxiliary);\ make_lua_key(L, set_box);\ |