summaryrefslogtreecommitdiff
path: root/tex/context/base/mkiv/strc-doc.lua
diff options
context:
space:
mode:
authorHans Hagen <pragma@wxs.nl>2020-06-26 14:36:32 +0200
committerContext Git Mirror Bot <phg@phi-gamma.net>2020-06-26 14:36:32 +0200
commit3bc02e08823ca9d94cd3da01161ec511c9fdec3f (patch)
tree6051c9646606ab77131c52b7bbb97efbb4000c75 /tex/context/base/mkiv/strc-doc.lua
parent2e657baa195eb8a5011a0f08eeb32bd3396ea1bf (diff)
downloadcontext-3bc02e08823ca9d94cd3da01161ec511c9fdec3f.tar.gz
2020-06-26 13:28:00
Diffstat (limited to 'tex/context/base/mkiv/strc-doc.lua')
-rw-r--r--tex/context/base/mkiv/strc-doc.lua4
1 files changed, 2 insertions, 2 deletions
diff --git a/tex/context/base/mkiv/strc-doc.lua b/tex/context/base/mkiv/strc-doc.lua
index 9877a0f9c..aadbd8a90 100644
--- a/tex/context/base/mkiv/strc-doc.lua
+++ b/tex/context/base/mkiv/strc-doc.lua
@@ -1103,9 +1103,9 @@ implement { name = "namedstructureuservariable", actions = sections.userdata,
implement { name = "setstructurelevel", actions = sections.setlevel, arguments = "2 strings" }
implement { name = "getstructurelevel", actions = sections.getcurrentlevel, arguments = "string" }
implement { name = "setstructurenumber", actions = sections.setnumber, arguments = { "integer", "string" } } -- string as we support +-
-implement { name = "getstructurenumber", actions = sections.getnumber, arguments = { "integer" } }
+implement { name = "getstructurenumber", actions = sections.getnumber, arguments = "integer" }
implement { name = "getsomestructurenumber", actions = sections.getnumber, arguments = { "integer", "string" } }
-implement { name = "getfullstructurenumber", actions = sections.fullnumber, arguments = { "integer" } }
+implement { name = "getfullstructurenumber", actions = sections.fullnumber, arguments = "integer" }
implement { name = "getsomefullstructurenumber", actions = sections.fullnumber, arguments = { "integer", "string" } }
implement { name = "getspecificstructuretitle", actions = sections.structuredata, arguments = { "string", "'titledata.title'",false,"string" } }