diff options
Diffstat (limited to 'tex/context/base/java-ini.lua')
| -rw-r--r-- | tex/context/base/java-ini.lua | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tex/context/base/java-ini.lua b/tex/context/base/java-ini.lua index 6f629cec0..8ffabab05 100644 --- a/tex/context/base/java-ini.lua +++ b/tex/context/base/java-ini.lua @@ -32,6 +32,9 @@ local codes, preambles, functions = javascripts.codes, javascripts.preambles, ja local preambled = { } local function storefunction(s,preamble) + if trace_javascript then + report_javascripts("found: function '%s'",s) + end functions[s] = preamble end |