diff options
| author | Hans Hagen <pragma@wxs.nl> | 2022-12-15 19:13:44 +0100 |
|---|---|---|
| committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2022-12-15 19:13:44 +0100 |
| commit | 8f472c629a996f1c08281198210354a253d7f56b (patch) | |
| tree | 26f5fa0bda520d7ea9e87947df6978b9085a7d58 /tex/context/base/mkiv/mult-fmt.lua | |
| parent | 3bdc9b9072bba774cd5c604fe185d39ddbdc911e (diff) | |
| download | context-8f472c629a996f1c08281198210354a253d7f56b.tar.gz | |
2022-12-15 17:52:00
Diffstat (limited to 'tex/context/base/mkiv/mult-fmt.lua')
| -rw-r--r-- | tex/context/base/mkiv/mult-fmt.lua | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tex/context/base/mkiv/mult-fmt.lua b/tex/context/base/mkiv/mult-fmt.lua index 67133aab2..bbcdfd343 100644 --- a/tex/context/base/mkiv/mult-fmt.lua +++ b/tex/context/base/mkiv/mult-fmt.lua @@ -217,9 +217,9 @@ function interfaces.setuserinterface(interface,response) constant = constant[interface] or constant.en or given constants[constant] = given -- breedte -> width nofconstants = nofconstants + 1 - setmacro("c!" .. given,given,"immutable") + setmacro("c!" .. given,given,"immutable","constant") if reversetoo then - setmacro("k!" .. constant,given,"immutable") + setmacro("k!" .. constant,given,"immutable","constant") end report_constant("%-40s: %s",given,constant) end @@ -232,7 +232,7 @@ function interfaces.setuserinterface(interface,response) variable = variable[interface] or variable.en or given variables[given] = variable -- ja -> yes nofvariables = nofvariables + 1 - setmacro("v!" .. given,variable,"immutable") + setmacro("v!" .. given,variable,"immutable","constant") report_variable("%-40s: %s",given,variable) end logs.stopfilelogging() @@ -244,7 +244,7 @@ function interfaces.setuserinterface(interface,response) element = element[interface] or element.en or given elements[element] = given nofelements = nofelements + 1 - setmacro("e!" .. given,element,"immutable") + setmacro("e!" .. given,element,"immutable","constant") report_element("%-40s: %s",given,element) end logs.stopfilelogging() |