diff options
author | Hans Hagen <pragma@wxs.nl> | 2022-09-10 03:48:41 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2022-09-10 03:48:41 +0200 |
commit | 809177a0640771ac59eb13a1b52c91acb644e3a1 (patch) | |
tree | 8c616d0045d905f78555d5be9bdd9285bddac42d /tex/context/base/mkiv/util-tab.lua | |
parent | 0a51e22e296356871498d2925dff025680be8779 (diff) | |
download | context-809177a0640771ac59eb13a1b52c91acb644e3a1.tar.gz |
2022-09-10 02:44:00
Diffstat (limited to 'tex/context/base/mkiv/util-tab.lua')
-rw-r--r-- | tex/context/base/mkiv/util-tab.lua | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/tex/context/base/mkiv/util-tab.lua b/tex/context/base/mkiv/util-tab.lua index 7f372b6b5..64fa1af4f 100644 --- a/tex/context/base/mkiv/util-tab.lua +++ b/tex/context/base/mkiv/util-tab.lua @@ -996,3 +996,25 @@ function combine(target,source) end table.combine = combine + +-- If needed we can add something (some discussion on the list but I'm not sure if +-- it makes sense because merging such mixed tables is quite unusual. +-- +-- function table.himerged(...) +-- local result = { } +-- local r = 0 +-- for i=1,select("#",...) do +-- local s = select(i,...) +-- if s then +-- for k, v in next, s do +-- if type(k) == "number" then +-- r = r + 1 +-- result[r] = v +-- else +-- result[k] = v +-- end +-- end +-- end +-- end +-- return result +-- end |